ISBN 364203358X books & textbook
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Berghofer, Stefan Nipkow, Tobias Urban, Christian Wenzel, Makarius
Springer /2009-08-04 Paperback / 528 Pages
isbn-10: 364203358X / isbn-13: 9783642033582
