Theorem proving in higher order logics 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings /
Theorem proving in higher order logics 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / [electronic resource] :
edited by Stefan Berghofer ... [et al.].
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- xi, 515 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5674 0302-9743 ; .
9783642033599 (electronic bk.)
Automatic theorem proving--Congresses.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Algorithm Analysis and Problem Complexity.
Models and Principles.
QA76.9.A96 / T646 2009
006.333
9783642033599 (electronic bk.)
Automatic theorem proving--Congresses.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Algorithm Analysis and Problem Complexity.
Models and Principles.
QA76.9.A96 / T646 2009
006.333