Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings / edited by Joakim von Wright, Jim Grundy, John Harrison.
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. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submiss...
Full description
Saved in: