Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automated Deduction in Geometry
Lieferzeit: Lieferbar innerhalb 14 Tagen
49,22 €
inkl. 7 % MwSt. zzgl. Versandkosten
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19,2012, Revised Selected Papers – Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 7993, Lecture Notes in Computer Science 7993 – Lecture Notes in Artificial Intelligence
| ISBN: | 3642406718 |
|---|---|
| ISBN 13: | 9783642406713 |
| Herausgeber: | Tetsuo Ida/Jacques Fleuriot |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 193 S., 55 s/w Illustr., 193 p. 55 illus. |
| Erscheinungsdatum: | 12.09.2013 |
| Auflage: | 1/2013 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AUTOMATED DAMAGE DETECTION]()
AUTOMATED DAMAGE DETECTION
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Essay Scoring]()
Automated Essay Scoring
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Driving]()
Automated Driving
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-15]()
Automated Deduction – CADE-15
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Model Building]()
Automated Model Building
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Automated City]()
The Automated City
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deduction, Computation, Experiment]()
Deduction, Computation, Experiment
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Deduction]()
Logic and Deduction
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction -- CADE-24]()
Automated Deduction — CADE-24
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-25]()
Automated Deduction – CADE-25
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Induction and Deduction in the Sciences]()
Induction and Deduction in the Sciences
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Mathematical Induction]()
Automated Mathematical Induction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-23]()
Automated Deduction – CADE-23
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductions-Bibliothek von Deutschland]()
Deductions-Bibliothek von Deutschland
39,90 €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: Automated Deduction - CADE-20]()
Automated Deduction – CADE-20
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Market Makers]()
Automated Market Makers
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Security Management]()
Automated Security Management
53,49 €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: Automated Theorem Proving]()
Automated Theorem Proving
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductions from the World War]()
Deductions from the World War
31,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Natural Deduction]()
Advances in Natural Deduction
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Suspicion Algorithms]()
Automated Suspicion Algorithms
104,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 30]()
Automated Deduction – CADE 30
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Automated Negotiations]()
Advances in Automated Negotiations
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Copyright Filters]()
Automated Copyright Filters
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scientific work through plagiarism-free deduction]()
Scientific work through plagiarism-free deduction
25,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Transcendental Deduction]()
Kants Transcendental Deduction
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-21]()
Automated Deduction – CADE-21
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 27]()
Automated Deduction – CADE 27
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Diagnostic]()
Automated Diagnostic
19,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-16]()
Automated Deduction – CADE-16
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory and Automated Deduction]()
Proof Theory and Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Deduction From Apperception]()
Kants Deduction From Apperception
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Induced errors - sources and pedagogical deductions]()
Induced errors – sources and pedagogical deductions
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 10th International Conference on Automated Deduction]()
10th International Conference on Automated Deduction
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Biometrics]()
Automated Biometrics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Driving]()
Automated Driving
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Democracy]()
Automated Democracy
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-18]()
Automated Deduction – CADE-18
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 9th International Conference on Automated Deduction]()
9th International Conference on Automated Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Equational Logic and Cubic Curves]()
Automated Deduction in Equational Logic and Cubic Curves
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 7th International Conference on Automated Deduction]()
7th International Conference on Automated Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Labelled Deduction]()
Labelled Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: AUTOMATED SOFTWARE TESTING]()
AUTOMATED SOFTWARE TESTING
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deduction Systems]()
Deduction Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Explanation, Causation and Deduction]()
Explanation, Causation and Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Practical Reasoning]()
Automated Practical Reasoning
85,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Relativistic Deduction]()
The Relativistic Deduction
85,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction]()
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 26]()
Automated Deduction – CADE 26
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Relativistic Deduction]()
The Relativistic Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Transcendental Deduction]()
Kants Transcendental Deduction
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-17]()
Automated Deduction – CADE-17
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 28]()
Automated Deduction – CADE 28
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-14]()
Automated Deduction – CADE-14
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 29]()
Automated Deduction – CADE 29
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Software Testing]()
Automated Software Testing
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Highway Systems]()
Automated Highway Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Software Diversity]()
Automated Software Diversity
29,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
42,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 5th Conference on Automated Deduction]()
5th Conference on Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Labelled Deduction]()
Labelled Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Biometrics]()
Automated Biometrics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Mathematical Induction]()
Automated Mathematical Induction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Natural Deduction]()
Advances in Natural Deduction
139,09 €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: Automated Highway Systems]()
Automated Highway Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-19]()
Automated Deduction – CADE-19
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Lies]()
Automated Lies
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Sample Preparation]()
Automated Sample Preparation
162,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Irrigation System]()
Automated Irrigation System
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-11]()
Automated Deduction – CADE-11
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Induction and Deduction in the Sciences]()
Induction and Deduction in the Sciences
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction]()
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 8th International Conference on Automated Deduction]()
8th International Conference on Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Firewall Analytics]()
Automated Firewall Analytics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
