Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books

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

Joakim von Wright, Jim Grundy, John Harrison - Mathematics - 1996 - 472 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