Automated Theorem Proving: A Logical Basis
In stock$41.00
Format*
1
SKU:GC-4068882990
Comes to you in 7-11 business days under normal conditions.
Eligible for return within 30 days from delivery.
Automated Theorem Proving: A Logical Basis
$41.00
Automated Theorem Proving: A Logical Basis Additional ISBNs0720404991, 1493305514, 9780720404999, 9781493305513Automated Theorem Proving: A Logical Basis is written by D.W.\n\nLoveland 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.
Product Details
TypeNew Arrivals
SKUGC-4068882990
TagsNew Arrivals
You May Also Like
View all →
Sustained Simulation Performance 2019 and 2020 Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2019: and 2020
$30.00
Handbook of Research on the Educator Continuum and Development of Teachers
$157.00
Handbook of Research on Advancing Equity and Inclusion Through Educational Technology
$184.00
Type 1 Diabetes, An Issue of Endocrinology and Metabolism Clinics of North America
$61.00