Theorem Proving in Higher Order Logics
Subtitle: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
By: edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Contributors: Wenzel, Makarius; Urban, Christian; Nipkow, Tobias; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5674
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642033582; 9783642033599
Subjects: Logic design; Computational complexity; Computer science; Computer software