Picture 1 of 4
Gallery
Picture 1 of 4
Handbook Of Automated Reasoning: Volume I and II
US $499.99
Approximately£372.88
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. Minimal damage to the book cover eg. scuff marks, but no holes or tears. If this is a hard cover, the dust jacket may be missing. Binding has minimal wear. The majority of pages are undamaged with some creasing or tearing, and pencil underlining of text, but this is minimal. No highlighting of text, no writing in the margins, and no missing pages. See the seller’s listing for full details and description of any imperfections.
- Buy it nowHandbook Of Automated Reasoning: Volume I and II
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
US $8.38 (approx £6.25) USPS Media MailTM.
Located in: Minneapolis, Minnesota, United States
Delivery:
Estimated between Sat, 3 May and Thu, 8 May to 43230
Returns:
No returns accepted.
Payments:
Shop with confidence
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
About this seller
dardafdti
96.5% positive Feedback•3.4K items sold
Registered as a private sellerThereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Seller Feedback (819)
- r***e (151)- Feedback left by buyer.Past monthVerified purchaseI Recommend this seller received my package very fast item as pictured.
- i***s (477)- Feedback left by buyer.Past 6 monthsVerified purchaseArrive as described. Would recommend seller.
- r***r (3276)- Feedback left by buyer.Past 6 monthsVerified purchaseAbsolutely Perfect! Great Price/Fastest Shipping!! Most Wonderful Seller~The Best XOFoil Assorted Dry Erase MTG Tokens Set of 5 Cards (#156195074535)