Handbuch des automatisierten Denkens: Band I und II
US $499,99US $499,99
Sa, 26. Jul, 15:38Sa, 26. Jul, 15:38
Bild 1 von 4
Galerie
Bild 1 von 4
Ähnlichen Artikel verkaufen?
Handbuch des automatisierten Denkens: Band I und II-
US $499,99
Ca.EUR 432,11
Artikelzustand:
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
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.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
US $8,22 (ca. EUR 7,10) USPS Media MailTM.
Standort: Minneapolis, Minnesota, USA
Lieferung:
Lieferung zwischen Sa, 9. Aug und Fr, 15. Aug nach 94104 bei heutigem Zahlungseingang
Rücknahme:
Keine Rücknahme.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:156918597771
Artikelmerkmale
- Artikelzustand
- Gut
- 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
Ü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
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
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
dardafdti
97,2% positive Bewertungen•3,4 Tsd. Artikel verkauft
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.
Verkäuferbewertungen (827)
- o***b (278)- Bewertung vom Käufer.Letzter MonatBestätigter KaufGreat condition, meeting quality expectations at a fair value
- t***1 (2725)- Bewertung vom Käufer.Letzter MonatBestätigter Kauf.
- u***r (4701)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufQuick shipping, thanks