Handbook of Automated Reasoning: Handbook of Automated Reasoning, cartea I
Editat de Andrei Voronkov, Alan J.A. Robinsonen Limba Engleză Hardback – 21 iun 2001
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Hardback (2) | 1157.47 lei 5-7 săpt. | |
| ELSEVIER SCIENCE – 21 iun 2001 | 1157.47 lei 5-7 săpt. | |
| ELSEVIER SCIENCE – 21 iun 2001 | 1586.46 lei 6-8 săpt. |
Preț: 1586.46 lei
Preț vechi: 1983.07 lei
-20% Nou
Puncte Express: 2380
Preț estimativ în valută:
303.60€ • 316.57$ • 252.32£
303.60€ • 316.57$ • 252.32£
Carte tipărită la comandă
Livrare economică 20 martie-03 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780444829498
ISBN-10: 0444829490
Pagini: 996
Dimensiuni: 165 x 240 x 52 mm
Greutate: 1.77 kg
Editura: ELSEVIER SCIENCE
Seria Handbook of Automated Reasoning
ISBN-10: 0444829490
Pagini: 996
Dimensiuni: 165 x 240 x 52 mm
Greutate: 1.77 kg
Editura: ELSEVIER SCIENCE
Seria Handbook of Automated Reasoning
V-ar putea interesa
-
Cybersecurity and Applied MathematicsLeigh Metcalf-27%Preț: 307.88 lei422.46 lei -
Preț: 389.11 lei -
Instabilities in Contemporary British PoetryAlan RobinsonPreț: 390.08 lei -
Constraint Handling RulesThom Frühwirth-20%Preț: 379.98 lei474.98 lei -
Quantum Computing for Computer ScientistsNoson S. Yanofsky-20%Preț: 464.52 lei580.65 lei -
-23%Preț: 482.66 lei626.84 lei -
Imagining London, 1770-1900A. Robinson-15%Preț: 643.34 lei756.86 lei -
Preț: 420.02 lei -
Statistical and Soft Computing Approaches in Insurance ProblemsSancho Salcedo-Sanz-38%Preț: 423.72 lei688.70 lei -
The Gate of HeavenAlan RobinsonPreț: 126.03 lei -
-31%Preț: 713.86 lei1027.27 lei -
Introduction to Mathematica® with ApplicationsMarian Mureşan-20%Preț: 764.76 lei955.95 lei -
-20%Preț: 332.24 lei415.30 lei -
Preț: 386.22 lei -
-20%Preț: 353.50 lei441.88 lei -
-20%Preț: 334.53 lei418.16 lei -
-20%Preț: 328.27 lei410.34 lei
Cuprins
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)
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)