Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Theorem Proving with Analytic Tableaux and Related Methods
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St.Goar, Germany, May 7 – 10,1995.Proceedings, Lecture Notes in Computer Science 918 – Lecture Notes in Artificial Intelligence
| ISBN: | 3540593381 |
|---|---|
| ISBN 13: | 9783540593386 |
| Herausgeber: | Peter Baumgartner/Reiner Hähnle/Joachim Posegga |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xi, 361 S. |
| Erscheinungsdatum: | 26.04.1995 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Methods in Interdisciplinary Applications]()
Analytic Methods in Interdisciplinary Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Using Sophisticated Models in Resolution Theorem Proving]()
Using Sophisticated Models in Resolution Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Biswas Theorem]()
Biswas Theorem
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fermat's Last Theorem]()
Fermat’s Last Theorem
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving with the Real Numbers]()
Theorem Proving with the Real Numbers
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof and Proving in Mathematics Education]()
Proof and Proving in Mathematics Education
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof and Proving in Mathematics Education]()
Proof and Proving in Mathematics Education
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Theorem Proving in Software Engineering]()
Automated Theorem Proving in Software Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Theorem Proving]()
Automated Theorem Proving
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etudes-Tableaux]()
Etudes-Tableaux
30,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proving It Her Way]()
Proving It Her Way
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Noether's Theorem]()
Noether’s Theorem
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Thomas Ruff. TABLEAUX CHINOIS]()
Thomas Ruff. TABLEAUX CHINOIS
128,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Vitis vinifera - Provings of Vine]()
Vitis vinifera – Provings of Vine
16,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mechanical Geometry Theorem Proving]()
Mechanical Geometry Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Methods for Design Practice]()
Analytic Methods for Design Practice
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kneser's Theorem]()
Kneser’s Theorem
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Number Theory Related to Fermats Last Theorem]()
Number Theory Related to Fermats Last Theorem
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Current Trends in Hardware Verification and Automated Theorem Proving]()
Current Trends in Hardware Verification and Automated Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Pi-Theorem]()
The Pi-Theorem
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux de voyage II.Italie]()
Tableaux de voyage II.Italie
89,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving]()
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Theorem Proving]()
Automated Theorem Proving
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Home Pastimes; or Tableaux Vivants]()
Home Pastimes; or Tableaux Vivants
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux de chasse]()
Tableaux de chasse
14,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem des Todes]()
Theorem des Todes
20,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Proving Ground]()
The Proving Ground
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Map Color Theorem]()
Map Color Theorem
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quatre Tableaux]()
Quatre Tableaux
40,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Resource Misallocation Theorem]()
Resource Misallocation Theorem
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fermat's Last Theorem]()
Fermat’s Last Theorem
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux de Berlin]()
Tableaux de Berlin
66,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 'Les mille tableaux du réel']()
‚Les mille tableaux du réel‘
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Études-Tableaux Opp. 33 & 39]()
Études-Tableaux Opp. 33 & 39
21,95 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Modigliani-Miller-Theorem]()
Das Modigliani-Miller-Theorem
19,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proving the Double Bottom Line]()
Proving the Double Bottom Line
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das letzte Fermat-Theoren]()
Das letzte Fermat-Theoren
119,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Pi-Theorem]()
The Pi-Theorem
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fermat's Last Theorem]()
Fermat’s Last Theorem
13,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etudes-Tableaux]()
Etudes-Tableaux
99,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux noirs]()
Tableaux noirs
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher Order Logic Theorem Proving and Its Applications]()
Higher Order Logic Theorem Proving and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Home Pastimes; or Tableaux Vivants]()
Home Pastimes; or Tableaux Vivants
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving with Analytic Tableaux and Related Methods]()
Theorem Proving with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Über das letzte fermatsche Theorem]()
Über das letzte fermatsche Theorem
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Charles Baudelaire, Tableaux Parisiens]()
Charles Baudelaire, Tableaux Parisiens
58,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fermat's Great Theorem]()
Fermat’s Great Theorem
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux Parisiens]()
Tableaux Parisiens
14,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher Order Logic Theorem Proving and Its Applications]()
Higher Order Logic Theorem Proving and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia]()
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mechanical Geometry Theorem Proving]()
Mechanical Geometry Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reading, Writing, and Proving]()
Reading, Writing, and Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Brooks' Theorem]()
Brooks‘ Theorem
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Brooks' Theorem]()
Brooks‘ Theorem
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fermat's Last Theorem]()
Fermat’s Last Theorem
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Methods for Design Practice]()
Analytic Methods for Design Practice
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Theorem Proving in Software Engineering]()
Automated Theorem Proving in Software Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Mechanical Theorem Proving in Geometries]()
Mechanical Theorem Proving in Geometries
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Theorem des Demokratischen Friedens]()
Das Theorem des Demokratischen Friedens
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux de voyage I]()
Tableaux de voyage I
94,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Élaboration des tableaux de bord logistiques]()
Élaboration des tableaux de bord logistiques
65,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Proving Ground]()
The Proving Ground
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das letzte Theorem]()
Das letzte Theorem
9,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia]()
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtons Principia
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux et paysages]()
Tableaux et paysages
5,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dual Tableaux]()
Dual Tableaux
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etudes-Tableaux]()
Etudes-Tableaux
29,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Theorem Proving]()
Automated Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: First-Order Logic and Automated Theorem Proving]()
First-Order Logic and Automated Theorem Proving
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher Order Logic Theorem Proving and Its Applications]()
Higher Order Logic Theorem Proving and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Theorem Proving]()
Automated Theorem Proving
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux & esquisses]()
Tableaux & esquisses
39,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
