Similar Listings
Lecture Notes in Computer Science Ser.: Computer Programs for Spelling...
Theorem Proving in Higher Order Logics : 18th International Confe
Theorem Proving in Higher Order Logics : 13th International Confe
Lecture Notes in Computer Science: Theorem Provers Circuit Design (PB, 1995)
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2
Theorem Proving in Higher Order Logics : 16th International Confe
Theorem proving in higher order logics: 12th international conference; proceedin