-30%
Automated Theorem Proving: A Logical Basis eBook
Original price was: $72.95.$51.00Current price is: $51.00.
Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Automated Theorem Proving: A Logical Basis
This is a digital product.
Additional ISBNs
0720404991, 1493305514, 9780720404999, 9781493305513
Automated Theorem Proving: A Logical Basis is written by D.W. Loveland and published by North Holland. The Digital and eTextbook ISBNs for Automated Theorem Proving: A Logical Basis are 9781483296777, 1483296776 and the print ISBNs are 9780720404999, 0720404991. Additional ISBNs for this eTextbook include 0720404991, 1493305514, 9780720404999, 9781493305513.
Be the first to review “Automated Theorem Proving: A Logical Basis eBook”
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781423207733
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781466565043
Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9781610395700
Original price was: $19.98.$12.31Current price is: $12.31.
-38%
eText ISBN: 9781119298625
Original price was: $63.32.$39.01Current price is: $39.01.
-38%
Bestsellers
eText ISBN: 9781423207788
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9780735637887
Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781423207764
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9780735642737
Original price was: $23.32.$14.37Current price is: $14.37.
Reviews
There are no reviews yet.