Catalog

Record Details

Catalog Search


Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings Cover Image E-book E-book

Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.

Berghofer, Stefan. (editor.). Nipkow, Tobias. (editor.). Urban, Christian. (editor.). Wenzel, Makarius. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources