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

Automated Theorem Proving: Theory and Practice, Newborn, Monty, 9780387950754

Automated Theorem Proving: Theory and Practice by Monty Newborn (English) Paperb

Automated Theorem Proving: Theory and Practice by Monty Newborn: New

Automated Theorem Proving: Theory and Practice by Monty Newborn (English) Hardco

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

Generating Test Templates via Automated Theorem Proving by Mani Prasard Kancherl