Automated Theorem Proving: A Logical Basis

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.