Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Theorem proving in higher order logics
| Autor | Yves Bertot, Gilles Dowek, Andre Hirschowitz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 29, 1999 |
| Idioma | inglés |
| Páginas | 359 |
| Formato | Paperback |
| ISBN-13 | 9783540664635 |
| ISBN-10 | 3540664637 |
| OCLC |