Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automated Reasoning and Mathematics
Lieferzeit: Lieferbar innerhalb 14 Tagen
49,22 €
inkl. 7 % MwSt. zzgl. Versandkosten
Essays in Memory of William W.McCune, Lecture Notes in Computer Science 7788 – Lecture Notes in Artificial Intelligence
| ISBN: | 3642366740 |
|---|---|
| ISBN 13: | 9783642366741 |
| Herausgeber: | Maria Paola Bonacina/Mark E Stickel |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xx, 259 S., 27 s/w Illustr., 259 p. 27 illus. |
| Erscheinungsdatum: | 19.03.2013 |
| Auflage: | 1/2013 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Quantitative Reasoning in Mathematics and Science Education]()
Quantitative Reasoning in Mathematics and Science Education
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Boolean Reasoning]()
Boolean Reasoning
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cognitive Reasoning]()
Cognitive Reasoning
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: Automated Practical Reasoning]()
Automated Practical Reasoning
85,55 €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 Biometrics]()
Automated Biometrics
160,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 Sample Preparation]()
Automated Sample Preparation
165,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Qualitative Reasoning]()
Qualitative Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning Robots]()
Reasoning Robots
53,49 €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 Reasoning]()
Automated Reasoning
85,59 €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 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: Automated Democracy]()
Automated Democracy
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Subjunctive Reasoning]()
Subjunctive Reasoning
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: Interlegal Reasoning]()
Interlegal Reasoning
213,99 €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 Deduction in Geometry]()
Automated Deduction in Geometry
49,22 €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 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: Value Reasoning]()
Value Reasoning
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Clinical Reasoning]()
Clinical Reasoning
31,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Visuospatial Reasoning]()
Visuospatial Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning Web]()
Reasoning Web
53,45 €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 Driving]()
Automated Driving
299,59 €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: Reasoning Unbound]()
Reasoning Unbound
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Value Reasoning]()
Value Reasoning
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Heuristic Reasoning]()
Heuristic Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logical Studies of Paraconsistent Reasoning in Science and Mathematics]()
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
53,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: Heuristic Reasoning]()
Heuristic Reasoning
106,99 €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: Reasoning Robots]()
Reasoning Robots
53,49 €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 Model Building]()
Automated Model Building
160,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 Copyright Filters]()
Automated Copyright Filters
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abductive Reasoning]()
Abductive Reasoning
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abductive Reasoning]()
Abductive Reasoning
149,79 €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 Security Management]()
Automated Security Management
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantitative Reasoning in Mathematics and Science Education]()
Quantitative Reasoning in Mathematics and Science Education
171,19 €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 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 Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analogical Reasoning]()
Analogical Reasoning
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Practical Reasoning]()
Practical Reasoning
106,99 €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 Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Erweiterung des Professional Reasoning durch das Political Reasoning]()
Erweiterung des Professional Reasoning durch das Political Reasoning
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Subjunctive Reasoning]()
Subjunctive Reasoning
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 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: Visualization, Explanation and Reasoning Styles in Mathematics]()
Visualization, Explanation and Reasoning Styles in Mathematics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logical Studies of Paraconsistent Reasoning in Science and Mathematics]()
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
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
49,22 €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 Reasoning for Systems Biology and Medicine]()
Automated Reasoning for Systems Biology and Medicine
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Practical Reasoning]()
Practical Reasoning
171,19 €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 Theory Formation in Pure Mathematics]()
Automated Theory Formation in Pure Mathematics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Visualization, Explanation and Reasoning Styles in Mathematics]()
Visualization, Explanation and Reasoning Styles in Mathematics
106,99 €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: Automated Reasoning]()
Automated Reasoning
85,59 €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 Reasoning]()
Automated Reasoning
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 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: Visuospatial Reasoning]()
Visuospatial Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning for Systems Biology and Medicine]()
Automated Reasoning for Systems Biology and Medicine
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: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Programming, Concurrency, Simulation and Automated Reasoning]()
Functional Programming, Concurrency, Simulation and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning in Physics]()
Reasoning in Physics
106,99 €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: Reasoning Web]()
Reasoning Web
48,15 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Correct Reasoning]()
Correct Reasoning
53,49 €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
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and 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: Quantitative Reasoning]()
Quantitative Reasoning
67,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning for Selecting Digital Resources in Mathematics Education]()
Reasoning for Selecting Digital Resources in Mathematics Education
106,99 €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 Theorem Proving]()
Automated Theorem Proving
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning Web]()
Reasoning Web
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 Theorem Proving]()
Automated Theorem Proving
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
