Automated Theorem Proving Paperback Wolfgang, Bibel, W. Bibel

Automated theorem proving. Artificial intelligence Bibel, Wolfgang:

Automated Theorem Proving by Wolfgang Bibel: New

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

Newborn - Automated Theorem Proving Theory and Practice - New paperba - X555z

Theorem Proving with the Real Numbers (Distinguished Dissertations) by

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

Automated Theorem Proving : Theory and Practice by Monty Newborn (2000,...