Automated Theorem Proving - 9781461265191

Automated Theorem Proving in Software Engineering by Johann M Schumann: New

Automated Theorem Proving in Software Engineering, Hardcover by Schumann, Joh...

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

Schumann - Automated Theorem Proving in Software Engineering - New pap - X555z

Automated Theorem Proving in Software Engineering, Paperback by Schumann, Joh...