Similar Listings
Chang - Symbolic Logic and Mechanical Theorem Proving - New hardback o - X555z
Symbolic Logic and Mechanical Theorem Proving - 9780121703509
Schubert - Higher Order Logic Theorem Proving and Its Applications 8 - X555z
Sandford - Using Sophisticated Models in Resolution Theorem Proving - - X555z
Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...
Fitting - First-Order Logic and Automated Theorem Proving - New paperb - X555z