Automated Theorem Proving: A Logical Basis

$41

  • Check Mark Estimated Delivery : Up to 4 business days
  • Check Mark Free Shipping & Returns : On all orders over $200
  • Visa Card
  • MasterCard
  • American Express
  • Discover Card
  • PayPal
  • Apple Pay
Guaranteed Safe And Secure Checkout

Automated Theorem Proving: A Logical Basis Additional ISBNs0720404991, 1493305514, 9780720404999, 9781493305513Automated Theorem Proving: A Logical Basis is written by D.W.Loveland and published by North Holland. ISBNs for Automated Theorem Proving: A Logical Basis are 9781483296777, 1483296776 and the print ISBNs are 9780720404999, 0720404991. Additional ISBNs include 0720404991, 1493305514, 9780720404999, 9781493305513.

Reviews

There are no reviews yet.

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

Your email address will not be published. Required fields are marked *

Related products