Automated Theorem Proving: A Logical Basis
In stock$41.00
6 viewing now
Format*
1
SKU:GC-4068882990
Orders arrive in about 7-11 business days.
Returns accepted for 30 days after purchase.
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 →
Quick View
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
Quick View
Handbook of Research on the Educator Continuum and Development of Teachers
$157.00
Quick View
Handbook of Research on Advancing Equity and Inclusion Through Educational Technology
$184.00
Quick View
Type 1 Diabetes, An Issue of Endocrinology and Metabolism Clinics of North America
$61.00