Generating Test Templates via Automated Theorem Proving by National Aeronautics

Generating Test Templates via Automated Theorem Proving by National Aeronauti...

Automated Theorem Proving in Software Engineering

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

First-Order Logic and Automated Theorem Proving (Texts & Monographs in...

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch

Automated Theorem Proving Paperback Wolfgang, Bibel, W. Bibel