Lecture Notes in Computer Science Ser.: Using Sophisticated Models in Resolution

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

Proving History: Bayes's Theorem and the Quest for the Historical Jesus, Richard

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Math

Using Sophisticated Models in Resolution Theorem Proving by David M. Sandford (E

Automated Theorem Proving in Software Engineering by Schumann, Johann M.

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

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