Back to eBay Home
|Listed in category:
This listing was ended by the seller on Sat, 26 Jul at 9:38 PM because the item is no longer available.
Handbook Of Automated Reasoning: Volume I and II
Ended
Handbook Of Automated Reasoning: Volume I and II
US $499.99US $499.99
Jul 26, 21:38Jul 26, 21:38
Sell one like this
Seller's other items

Picture 1 of 4

Picture 1 of 4
Picture 2 of 4
Picture 3 of 4
Picture 4 of 4
ENDED
Have one to sell?
Sell it yourself

Handbook Of Automated Reasoning: Volume I and II

dardafdti
(1842)
Seller's other items
Contact seller
US $499.99
ApproximatelyRM 2,118.36
Condition:
Good
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
Sell one like this
Seller's other items
    Shipping:
    US $8.22 (approx RM 34.83) USPS Media MailTM.
    Located in: Minneapolis, Minnesota, United States
    Delivery:
    Estimated between Sat, 9 Aug and Fri, 15 Aug
    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:
    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
    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 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

    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

    97.2% positive feedback•3.4K items sold

    Joined Feb 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.8
    Shipping speed
    5.0
    Communication
    5.0

    Seller feedback (827)

    All ratings
    Positive
    Neutral
    Negative
    See all feedback

    More to explore :