Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 15 editions of Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs ....

Theorem Proving in Higher Order Logics: 10th International Conference ...

Elsa L. Gunter, Amy Felty - Computers - 1997 - 339 pages
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in ...
Snippet view - About this book

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs ...

Joakim von Wright, Jim Grundy, John Harrison - Mathematics - 1996 - 447 pages
This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996 ...
Snippet view - About this book




  1. My library
  2. Help
  3. Advanced Book Search