Picture 1 of 4
Gallery
Picture 1 of 4
Handbook Of Automated Reasoning: Volume I and II
US $499.99
ApproximatelyS$ 653.79
Condition:
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
Good
A book that has been read but is in good condition. Very minimal damage to the cover including scuff marks, but no holes or tears. The dust jacket for hard covers may not be included. Binding has minimal wear. The majority of pages are undamaged with minimal creasing or tearing, minimal pencil underlining of text, no highlighting of text, no writing in margins. No missing pages.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
US $8.38 (approx S$ 10.96) USPS Media MailTM.
Located in: Minneapolis, Minnesota, United States
Delivery:
Estimated between Sat, 3 May and Thu, 8 May
Returns:
No returns accepted.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:156918597771
Item specifics
- Condition
- Good
- Seller Notes
- “Library copy. Great condition except for stickers on spine and library card in inside cover.”
- Book Title
- Handbook Of Automated Reasoning: Volume I
- ISBN
- 9780444829498
About this product
Product Identifiers
Publisher
Elsevier Science & Technology
ISBN-10
0444829490
ISBN-13
9780444829498
eBay Product ID (ePID)
2030325
Product Key Features
Number of Pages
996 Pages
Language
English
Publication Name
Handbook of Automated Reasoning
Subject
Programming / General, Information Theory, Intelligence (Ai) & Semantics, Computer Science, Logic, Logic Design
Publication Year
2001
Type
Textbook
Subject Area
Mathematics, Computers
Series
Handbook of Automated Reasoning Ser.
Format
Hardcover
Dimensions
Item Weight
70.4 Oz
Item Length
9.4 in
Item Width
6.5 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2001-090839
Dewey Edition
21
Series Volume Number
Volume I
Number of Volumes
2 vols.
Illustrated
Yes
Volume Number
Volume I
Dewey Decimal
511.3
Table Of Content
Part I. History 1. The Early History of Automated Deduction (Martin Davis) Part II. Classical Logic. 2. Resolution Theorem Proving (Leo Bachmair, Harald Ganzinger) 3. Tableaux and Related Methods (Reiner Hähnle) 4. The Inverse Method (Anatoli Degtyarev, Andrei Voronkov) 5. Normal Form Transformations (Matthias Baaz, Uwe Egly, Alexander Leitsch) 6. Computing Small Clause Normal Forms (Andreas Nonnengart, Christoph Weidenbach) Part III. Equality and other theories. 7. Paramodulation-Based Theorem Proving (Robert Nieuwenhuis, Albert Rubio) 8. Unification Theory (Franz Baader, Wayne Snyder) 9. Rewriting (Nachum Dershowitz, David A. Plaisted) 10. Equality Reasoning in Sequent-Based Calculi (Anatoli Degtyarev, Andrei Voronkov) 11. Automated Reasoning in Geometry (Shang-Ching Chou, Xiao-Shan Gao) 12. Solving Numerical Constraints (Alexander Bockmayr, Volker Weispfenning) Part IV. Induction. 13. The Automation of Proof by Mathematical Induction (Alan Bundy) 14. Inductionless Induction (Hubert Comon)
Synopsis
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.
LC Classification Number
QA76.9.A96H35 2001
Item description from the seller
Seller feedback (819)
- c***j (770)- Feedback left by buyer.Past monthVerified purchaseA+
- r***e (152)- Feedback left by buyer.Past monthVerified purchaseGreat seller nicely packaged
- r***e (152)- Feedback left by buyer.Past monthVerified purchaseI Recommend this seller received my package very fast item as pictured.