Automated Theorem Proving: A Logical Basis
In stock$41.00
Format*
1
SAVE
Buy More Save More!
The more you buy, the more you save
5% OFFBuy 2 items
7% OFFBuy 3 items
10% OFFBuy 4 items
SKU:GC-4068882990
Comes to you in 6-9 business days in most regions.
Final sale — returns are not accepted.
Automated Theorem Proving: A Logical Basis
$41.00
Book Details
- Author: D.W. Loveland
- Publisher: North Holland
- eBook ISBN: 9781483296777, 1483296776
- Print ISBN: 9780720404999, 0720404991
- Other ISBNs: 1493305514, 9781493305513
Product Details
TypeGeneral & Reference
SKUGC-4068882990
Tagsebooks, textbooks, general & reference, Books > General & Reference, General & Reference
