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.
Reviews
There are no reviews yet.