Automated Theorem Proving: A Logical Basis
In stock$41.00
Book FormatEbook
1
SKU:GC-4068882990
Comes to you in 4-8 business days though delays can occur.
Return your order within 30 days from delivery.
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
TypeBook
SKUGC-4068882990-BOOK
TagsNew Arrivals, General & Reference
You May Also Like
View all →
Advances in Computer Science and Information Technology: First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
$30.00
Designing Democracy Re-education and the America Houses (19451961)- The American Information Centers and their Involvement in Democratic: Re-education in Western Germany and West Berlin from 1945 to 1961
$28.00
Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2016 International Conference on Neuroergonomics and Cognitive Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA
$35.00
Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014: Twenty Years of Mass Customization - Towards New Frontiers
$90.00