All Formats & Editions
1 - 2 of 2 results found
Handbook of Automated Reasoning: Volume I
Edition Description
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.
Edition Details
Format:Hardcover
Language:English
ISBN:0444829490
Format: Hardcover
Temporarily Unavailable
2 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Handbook of Automated Reasoning: Volume II
Edition Description
This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.
Edition Details
Format:Hardcover
Language:English
ISBN:0444508120
Format: Hardcover
Condition:
$
311.92
Save $8.08!
List Price: $320.00
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
