Automated Theorem Proving (German Edition)
ISBN-10:
3528085207
ISBN-13:
9783528085209
Edition: 1982
Released: Jan 01, 1982
Format: Paperback, 292 pages
Description:
Book details unavailable.
Best prices to buy, sell, or rent ISBN 9783528085209
Frequently Asked Questions about Automated Theorem Proving (German Edition)
You can buy the Automated Theorem Proving (German Edition) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .
The price for the book starts from $17.58 on Amazon and is available from 11 sellers at the moment.
If you’re interested in selling back the Automated Theorem Proving (German Edition) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Automated Theorem Proving (German Edition) book, the best buyback offer comes from and is $ for the book in good condition.
Not enough insights yet.
Not enough insights yet.