Using Sophisticated Models in Resolution Theorem Proving David M.

Sandford - Using Sophisticated Models in Resolution Theorem Proving - - X555z

Theorem Proving in Higher Order Logics by David Basin: New

Proving History: Bayes's Theorem and the Quest by Richard C. Carrier HARDBACK

Automated Theorem Proving in Software Engineering by Johann M. Schumann (English

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...

Theorem Proving in High Order Logics : 12th International Conference, Tphols'...

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio