Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Edición de la obra Theorem Proving in Higher Order Logics
| Autor | Joe Hurd, Tom Melham |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2005 |
| Idioma | inglés |
| ISBN-13 | 9783540318200 |
| Número de Cutter | H959t |