Sale!
Add to Wishlist

Automated Theorem Proving: A Logical Basis eBook

Original price was: $72.95.Current price is: $51.00.

  • Author(s): D.W. Loveland
  • Publisher: North Holland
  • Print ISBN: 9780720404999, 0720404991
  • eText ISBN: 9781483296777, 1483296776
Automated Theorem Proving: A Logical Basis eBook

Original price was: $72.95.Current 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.

Reviews

There are no reviews yet.

Be the first to review “Automated Theorem Proving: A Logical Basis eBook”