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

Generating Test Templates via Automated Theorem Proving by National Aeronautics

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

Applying Automated Theorem Proving to Computer Security by Kelly McElroy Paperba

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