Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Theorem Proving in Higher Order Logics
| Autor | Tom Melham |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 19, 2005 |
| Idioma | inglés |
| Páginas | 409 |
| Formato | Paperback |
| ISBN-13 | 9783540283720 |
| ISBN-10 | 3540283722 |
| OCLC | 61321024 |
| LCCN | 2005930490 |
| Número de Cutter |