dardafdti
(1811)
Seller's other items
Contact seller

Handbook Of Automated Reasoning: Volume I and II

US $499.99
No Interest if paid in full in 6 mo on $149+ with PayPal Credit*
Condition:
Good
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
Shipping:
US $8.38 USPS Media MailTM.
Located in: Minneapolis, Minnesota, United States
Delivery:
Estimated between Sat, May 3 and Thu, May 8 to 43230
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the shipping service selected, the seller's shipping history, and other factors. Delivery times may vary, especially during peak periods.
Returns:
Seller does not accept returns.
Payments:
       Diners Club
*No Interest if paid in full in 6 months on $149+. See terms and apply now- for PayPal Credit, opens in a new window or tab
Earn up to 5x points when you use your eBay Mastercard®. Learn moreabout earning points with eBay Mastercard

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. Learn moreeBay Money Back Guarantee - opens new window or tab
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:156918597771

Item specifics

Condition
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. See the seller’s listing for full details and description of any imperfections. See all condition definitionsopens in a new window or tab
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
Subject Area
Mathematics, Computers
Publication Name
Handbook of Automated Reasoning
Publisher
Elsevier Science & Technology
Item Length
9.4 in
Subject
Programming / General, Information Theory, Intelligence (Ai) & Semantics, Computer Science, Logic, Logic Design
Publication Year
2001
Series
Handbook of Automated Reasoning Ser.
Type
Textbook
Format
Hardcover
Language
English
Author
Alan J. A. Robinson
Item Weight
70.4 Oz
Item Width
6.5 in
Number of Pages
996 Pages

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
Author
Alan J. A. Robinson
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

Joined Jan 2005
Usually responds within 24 hours
Seller's other itemsContact

Detailed seller ratings

Average for the last 12 months
Accurate description
4.9
Reasonable shipping cost
4.7
Shipping speed
5.0
Communication
5.0

Seller feedback (819)

All ratings
Positive
Neutral
Negative
See all feedback
|Listed in category:

More to explore :