Photo 1 sur 4
Galerie
Photo 1 sur 4
Manuel de raisonnement automatisé : Volume I et II
499,99 $US
Environ691,64 $C
État :
“Library copy. Great condition except for stickers on spine and library card in inside cover.”
Bon
Un livre qui a été lu, mais qui est en bon état. La couverture présente des dommages infimes, par exemple des éraflures, mais aucun trou ni aucune déchirure. Dans le cas des livres à reliure, la jaquette peut ne pas être incluse. La reliure présente des traces d'usure minimes. La plupart des pages ne sont pas endommagées et les plis, les déchirures, les passages soulignés ou surlignés et les inscriptions en marge sont minimes. Il n'y a aucune page manquante.
- Achat immédiatManuel de raisonnement automatisé : Volume I et II
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Expédition :
8,38 $US (environ 11,59 $C) USPS Media MailTM.
Lieu : Minneapolis, Minnesota, États-Unis
Livraison :
Livraison prévue entre le sam. 3 mai et le jeu. 8 mai à 43230
Renvois :
Renvois refusés.
Paiements :
Magasinez en toute confiance
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :156918597771
Caractéristiques de l'objet
- État
- Bon
- Remarques du vendeur
- “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
À propos de ce produit
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
Description de l'objet du vendeur
Évaluations comme vendeur (819)
- r***e (152)- Évaluation laissée par l'acheteur.Dernier moisAchat vérifiéI Recommend this seller received my package very fast item as pictured.
- i***s (477)- Évaluation laissée par l'acheteur.Six derniers moisAchat vérifiéArrive as described. Would recommend seller.
- r***r (3276)- Évaluation laissée par l'acheteur.Six derniers moisAchat vérifiéAbsolutely Perfect! Great Price/Fastest Shipping!! Most Wonderful Seller~The Best XOFoil Assorted Dry Erase MTG Tokens Set of 5 Cards (#156195074535)