Deze aanbieding is door de verkoper beëindigd op za, 26 jul om 3:38 PM omdat het object niet langer beschikbaar is.
Handbook Of Automated Reasoning: Volume I and II
Afgelopen
Handbook Of Automated Reasoning: Volume I and II
US $499,99US $499,99
za, 26 jul, 15:38za, 26 jul, 15:38
Een soortgelijk object verkopen
Andere objecten van verkoper

Handbook Of Automated Reasoning: Volume I and II

dardafdti
(1853)
Geregistreerd als particuliere verkoper
Voorschriften voor consumentenbescherming die voortvloeien uit Europese consumentenwetgeving, zijn derhalve niet van toepassing. eBay-kopersbescherming geldt nog steeds voor de meeste aankopen.
Andere objecten van verkoper
Contact opnemen met verkoper
US $499,99
OngeveerEUR 423,25
Objectstaat:
Goed
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
Een soortgelijk object verkopen
Andere objecten van verkoper
    Verzendkosten:
    US $8,22 (ongeveer EUR 6,96) USPS Media MailTM.
    Bevindt zich in: Minneapolis, Minnesota, Verenigde Staten
    Levering:
    Geschatte levering tussen ma, 22 sep en za, 27 sep tot 94104
    Bij geschatte leveringsdatums - nieuw venster of tabblad wordt rekening gehouden met de verwerkingstijd van de verkoper, de postcode van de verzendlocatie, de postcode van de bestemming, en het moment van aanvaarding. Geschatte leveringsdatums zijn ook afhankelijk van de geselecteerde verzendservice en de ontvangst van de betalingbetaling ontvangen - nieuw venster of tabblad. De leveringstermijnen kunnen variëren, vooral gedurende piekperiodes.
    Retourbeleid:
    Geen retourzendingen geaccepteerd.
    Betalingen:
        Diners Club

    Winkel met vertrouwen

    Geld-terug-garantie van eBay
    Ontvang het object dat u hebt besteld of krijg uw geld terug. Meer informatieGeld-terug-garantie van eBay - nieuw venster of tabblad
    De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
    eBay-objectnummer:156918597771

    Specificaties

    Objectstaat
    Goed
    Een boek dat is gelezen, maar zich in goede staat bevindt. De kaft is zeer minimaal beschadigd (er zijn bijvoorbeeld slijtplekken), maar er zijn geen deukjes of scheuren. De harde kaft heeft mogelijk geen stofomslag meer. De boekband vertoont minimale slijtage. De meeste bladzijden zijn onbeschadigd. Er zijn weinig vouwen en scheuren en er is vrijwel geen tekst met potlood onderstreept of met een accentueerstift gemarkeerd. Er is niet in de kantlijn geschreven. Er ontbreken geen bladzijden. Bekijk de aanbieding van de verkoper voor de volledige details en een beschrijving van gebreken. Alle staatdefinities bekijkenwordt in nieuw venster of op nieuw tabblad geopend
    Opmerkingen van verkoper
    “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

    Over dit 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.
    Volume Number
    Volume I
    Illustrated
    Yes
    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

    Objectbeschrijving van de verkoper

    Over deze verkoper

    dardafdti

    97,9% positieve feedback•3,4K objecten verkocht

    Lid geworden op jan 2005
    Reageert meestal binnen 24 uur
    Geregistreerd als particuliere verkoperDus de consumentenrechten die voortvloeien uit EU-wetgeving voor consumentenbescherming zijn niet van toepassing. eBay-kopersbescherming geldt nog steeds voor de meeste aankopen.
    Andere objecten van verkoperNeem contact met ons op

    Gedetailleerde verkopersbeoordelingen

    Gemiddelde van de afgelopen 12 maanden
    Nauwkeurige beschrijving
    4.8
    Redelijke verzendkosten
    4.7
    Verzendtijd
    5.0
    Communicatie
    5.0

    Feedback verkoper (838)

    Alle beoordelingen
    Positief
    Neutraal
    Negatief
    Alle feedback weergeven