Theorem Proving in Higher Order Logics: 22nd

Theorem Proving in Higher Order Logics: 22nd Inteational Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 517 pages

Publisher: Springer (August 4, 2009)

Language: English

ISBN-10: 364203358X