Similar Listings
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOL...
Theorem Proving in Higher Order Logics : 16th International Conference, Tphol...
Theorem Proving in Higher Order Logics : 16th International Conference, Tphol...
Theorem Proving in Higher Order Logics : 11th International Conference, Tphol...
Theorem Proving in Higher Order Logics by David Basin: New
Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :
Theorem Proving in Higher Order Logics : 20th International Conference, Tphol...
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs