Automated Theorem Proving: A Logical Basis By: D.W. Loveland Publisher: North Holland Print ISBN: 9780720404999, 0720404991 eText ISBN: 9781483296777, 1483296776 Copyright year: 1978 Format: PDF Available from $ 72.95 USD SKU: 9781483296777 Automated Theorem Proving: A Logical Basis SKU: 9780720404999 Ebooks here: https://ebookscoffee.sellpass.io/products/Automated-Theorem-Proving-A-Logical-Basis
