Automated Theorem Proving: Theory and Practice by Monty Newborn (English) Paperb
120,60 €
The first four chapters contain introductory material about automated theorem proving and the two programs. As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate.
Jetzt bei Ebay:
