Similar Listings
Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z
Higher Order Logic Theorem Proving and Its Applications : 8th Int
Higher Order Logic Theorem Proving and Its Applications : 7th Int
Higher Order Logic Theorem Proving and Its Applications: 7th International: New
Theorem Proving in Higher Order Logics : 20th International Conference, Tphol...
Snyers - From Logic Design to Logic Programming Theorem Proving Tech - X555z
Higher Order Logic Theorem Proving and Its Applications : 6th International W...
Theorem Proving in Higher Order Logic : 17th International Confer