Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Edición de la obra Theorem Proving in Higher Order Logics
| Autor | Klaus Schneider, Jens Brandt |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540745914 |
| Número de Cutter | S359t |