Back to home page
|Listed in category:
This listing was ended by the seller on Sat, 26 Jul at 2: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
Sat, 26 Jul, 14:38Sat, 26 Jul, 14: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)
Registered as a private seller
Consumer protection regulations resulting from EU consumer law are therefore not applicable. eBay buyer protection still applies to most purchases.
Seller's other items
Contact seller
US $499.99
ApproximatelyEUR 432.11
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
    Postage:
    US $8.22 (approx EUR 7.10) USPS Media MailTM.
    Located in: Minneapolis, Minnesota, United States
    Delivery:
    Estimated between Fri, 8 Aug and Wed, 13 Aug to 94104
    Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the delivery service selected, the seller's delivery history and other factors. Delivery times may vary, especially during peak periods.
    Returns:
    No returns accepted.
    Payments:
        Diners Club

    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
    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. 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. 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 Jan 2005
    Usually responds within 24 hours
    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's other itemsContact

    Detailed seller ratings

    Average for the last 12 months
    Accurate description
    4.9
    Reasonable postage cost
    4.8
    Delivery time
    5.0
    Communication
    5.0

    Seller Feedback (827)

    All ratings
    Positive
    Neutral
    Negative
    See all Feedback

    More to explore: