Similar Listings
Higher Order Logic Theorem Proving and Its Applications : 7th Int
Higher Order Logic Theorem Proving and Its Applications: 7th International: New
Schubert - Higher Order Logic Theorem Proving and Its Applications 8 - X555z
Higher Order Logic Theorem Proving and Its Applications : 8th Int
Ghosh - Logic and Its Applications 7th Indian Conference ICLA 2017 - X555z
Blanchette - Interactive Theorem Proving 7th International Conferenc - X555z
Melham - Higher Order Logic and Hardware Verification - New paperback - X555z
Snyers - From Logic Design to Logic Programming Theorem Proving Tech - X555z