Dieses Angebot wurde vom Verkäufer am Sa, 26. Jul um 03:38 beendet, da der Artikel nicht mehr verfügbar ist.
Handbook Of Automated Reasoning: Volume I and II
Beendet
Handbook Of Automated Reasoning: Volume I and II
US $499,99US $499,99
Sa, 26. Jul, 15:38Sa, 26. Jul, 15:38
Solch einen Artikel verkaufen
Mehr Artikel des Verkäufers

Handbook Of Automated Reasoning: Volume I and II

dardafdti
(1856)
Angemeldet als privater Verkäufer
Verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, finden daher keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $499,99
Ca.EUR 427,23
Artikelzustand:
Gut
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
Solch einen Artikel verkaufen
Mehr Artikel des Verkäufers
    Versand:
    US $8,22 (ca. EUR 7,02) USPS Media MailTM.
    Standort: Minneapolis, Minnesota, USA
    Lieferung:
    Lieferung zwischen Do, 2. Okt und Do, 9. Okt nach 94104 bei heutigem Zahlungseingang
    Wir wenden ein spezielles Verfahren zur Einschätzung des Liefertermins an – in diese Schätzung fließen Faktoren wie die Entfernung des Käufers zum Artikelstandort, der gewählte Versandservice, die bisher versandten Artikel des Verkäufers und weitere ein. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
    Rücknahme:
    Keine Rücknahme.
    Zahlungen:
        Diners Club

    Sicher einkaufen

    eBay-Käuferschutz
    Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
    Der Verkäufer ist für dieses Angebot verantwortlich.
    eBay-Artikelnr.:156918597771

    Artikelmerkmale

    Artikelzustand
    Gut
    Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr geringfügige Beschädigungen auf, wie z.B. kleinere Schrammen, er hat aber weder Löcher, noch ist er eingerissen. Bei gebundenen Büchern ist der Schutzumschlag möglicherweise nicht mehr vorhanden. Die Bindung weist geringfügige Gebrauchsspuren auf. Die Mehrzahl der Seiten ist unbeschädigt, das heißt, es gibt kaum Knitter oder Einrisse, es wurden nur in geringem Maße Bleistiftunterstreichungen im Text vorgenommen, es gibt keine Textmarkierungen und die Randbereiche sind nicht beschrieben. Alle Seiten sind vollständig vorhanden. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen ansehenwird in neuem Fenster oder Tab geöffnet
    Hinweise des Verkäufers
    “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
    Kategorie

    Über dieses Produkt

    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

    Artikelbeschreibung des Verkäufers

    Info zu diesem Verkäufer

    dardafdti

    98% positive Bewertungen•3,4 Tsd. Artikel verkauft

    Mitglied seit Jän 2005
    Antwortet meist innerhalb 24 Stunden
    Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
    Mehr Artikel des VerkäufersKontakt

    Detaillierte Verkäuferbewertungen

    Durchschnitt in den letzten 12 Monaten
    Genaue Beschreibung
    4.8
    Angemessene Versandkosten
    4.7
    Lieferzeit
    5.0
    Kommunikation
    5.0

    Verkäuferbewertungen (840)

    Alle Bewertungen
    Positiv
    Neutral
    Negativ
    Alle Bewertungen ansehen

    Noch mehr entdecken: