Theorem Proving in Higher Order Logics
16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Edición de la obra Theorem Proving in Higher Order Logics
| Autor | David Basin, Burkhart Wolff |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540451303 |
| Número de Cutter | B313t |