Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, or, USA, August 14-18, 2000 Proceedings
Edición de la obra Theorem Proving in Higher Order Logics
| Autor | Mark Aagaard, Harrison, John |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540446590 |
| Número de Cutter | A111t |