Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Mechanical Geometry Theorem Proving
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Mathematics and Its Applications 41
| ISBN: | 1402003307 |
|---|---|
| ISBN 13: | 9781402003301 |
| Autor: | Shang-Ching Chou |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xii, 362 S. |
| Erscheinungsdatum: | 30.11.2001 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![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: Map Color Theorem]()
Map Color Theorem
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Penser la crise dans Le Dérèglement du monde d'Amin Maalouf]()
Penser la crise dans Le Dérèglement du monde d’Amin Maalouf
39,90 €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: Quantum Nonlinear Function Obfuscation Theory and Application]()
Quantum Nonlinear Function Obfuscation Theory and Application
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Belt and Road Initiative: Key Concepts]()
The Belt and Road Initiative: Key Concepts
117,69 €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: 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: A Historical and Legal Comparison between Tianxia Wei Gong and Quod Omnes Tangit]()
A Historical and Legal Comparison between Tianxia Wei Gong and Quod Omnes Tangit
139,09 €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: Sitten in Kambodscha]()
Sitten in Kambodscha
12,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: Interactive Theorem Proving]()
Interactive Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symptoms and Self-Care Strategies in HIV/AIDS]()
Symptoms and Self-Care Strategies in HIV/AIDS
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Zur Legitimität von Vorbereitungsdelikten]()
Zur Legitimität von Vorbereitungsdelikten
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: People (Jen), State and Inter-state Relations]()
People (Jen), State and Inter-state Relations
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Taiwan Education at the Crossroad]()
Taiwan Education at the Crossroad
53,49 €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: New Carbon-Carbon Coupling Reactions Based on Decarboxylation and Iron-Catalyzed C-H Activation]()
New Carbon-Carbon Coupling Reactions Based on Decarboxylation and Iron-Catalyzed C-H Activation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Effect of Si Alloying on the Silf-healing Kinetics of Cr2AIC and Phase Formation of Nb2AIC THin Films]()
Effect of Si Alloying on the Silf-healing Kinetics of Cr2AIC and Phase Formation of Nb2AIC THin Films
39,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Overuse of English Existentials by EFL College Learners in Taiwan]()
The Overuse of English Existentials by EFL College Learners in Taiwan
59,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: Automated Theorem Proving]()
Automated Theorem Proving
128,39 €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: Über das letzte fermatsche Theorem]()
Über das letzte fermatsche Theorem
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Disorientation]()
Disorientation
21,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Recycling of Garment Factory Waste]()
Recycling of Garment Factory Waste
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Taiwan Education at the Crossroad]()
Taiwan Education at the Crossroad
53,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: Theorising Democide]()
Theorising Democide
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: Resource Misallocation Theorem]()
Resource Misallocation Theorem
128,39 €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: Interactive Theorem Proving]()
Interactive Theorem Proving
53,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: Mechanical Geometry Theorem Proving]()
Mechanical Geometry Theorem Proving
106,99 €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: Das Modigliani-Miller-Theorem]()
Das Modigliani-Miller-Theorem
19,95 €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: Fermat's Great Theorem]()
Fermat’s Great Theorem
35,90 €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: Brooks' Theorem]()
Brooks‘ Theorem
181,89 €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: Effects of dexamethasone on glucocorticoid receptors in ovine placenta]()
Effects of dexamethasone on glucocorticoid receptors in ovine placenta
59,90 €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: In Pursuit of Narrative Dynamics]()
In Pursuit of Narrative Dynamics
71,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quantum Nonlinear Function Obfuscation Theory and Application]()
Quantum Nonlinear Function Obfuscation Theory and Application
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Historical and Legal Comparison between Tianxia Wei Gong and Quod Omnes Tangit]()
A Historical and Legal Comparison between Tianxia Wei Gong and Quod Omnes Tangit
139,09 €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: Interactive Theorem Proving]()
Interactive Theorem Proving
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: Dynamic Modeling of Complex Industrial Processes: Data-driven Methods and Application Research]()
Dynamic Modeling of Complex Industrial Processes: Data-driven Methods and Application Research
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: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €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: Proving It Her Way]()
Proving It Her Way
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Disorientation]()
Disorientation
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Mathematical Biology]()
Introduction to Mathematical Biology
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: People (Jen), State and Inter-state Relations]()
People (Jen), State and Inter-state Relations
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Biswas Theorem]()
Biswas Theorem
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Energiewende - verfassungsrechtliche Determinanten und verwaltungsrechtliche Umsetzung]()
Die Energiewende – verfassungsrechtliche Determinanten und verwaltungsrechtliche Umsetzung
139,00 €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: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
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: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €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: Das letzte Fermat-Theoren]()
Das letzte Fermat-Theoren
109,95 €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: Fermat's Last Theorem]()
Fermat’s Last Theorem
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Phenomenology of Trust Behaviour in China]()
Phenomenology of Trust Behaviour in China
46,90 €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: Die Geschichte von Oma Schneeblüte]()
Die Geschichte von Oma Schneeblüte
20,00 €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: Fermat's Last Theorem]()
Fermat’s Last Theorem
13,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Identification et caracterisation des sites de transport de CadA]()
Identification et caracterisation des sites de transport de CadA
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Suppression of Ionospheric Clutter for HFSWR Based on Neural Network]()
Suppression of Ionospheric Clutter for HFSWR Based on Neural Network
109,90 €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: The Pi-Theorem]()
The Pi-Theorem
171,19 €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: The Belt and Road Initiative: Key Concepts]()
The Belt and Road Initiative: Key Concepts
117,69 €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: Theorem Proving with the Real Numbers]()
Theorem Proving with the Real Numbers
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Brooks' Theorem]()
Brooks‘ Theorem
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Bedeutung einer guten Bildung für Jugendliche aus chinesischen Immigrantenfamilien in der BRD]()
Die Bedeutung einer guten Bildung für Jugendliche aus chinesischen Immigrantenfamilien in der BRD
94,35 €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: Investigation of electron acceleration and deceleration in plasmas]()
Investigation of electron acceleration and deceleration in plasmas
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dynamic Modeling of Complex Industrial Processes: Data-driven Methods and Application Research]()
Dynamic Modeling of Complex Industrial Processes: Data-driven Methods and Application Research
106,99 €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: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic channel control system and its design and operation]()
Automatic channel control system and its design and operation
84,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Forschung zu Schlüsselproblemen bei der Überwachung ionosphärischer Störfelder für HFSWR]()
Forschung zu Schlüsselproblemen bei der Überwachung ionosphärischer Störfelder für HFSWR
87,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Grammatiklernen und -lehren im universitären DaF-Unterricht Taiwans]()
Grammatiklernen und -lehren im universitären DaF-Unterricht Taiwans
69,00 €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: New Carbon-Carbon Coupling Reactions Based on Decarboxylation and Iron-Catalyzed C-H Activation]()
New Carbon-Carbon Coupling Reactions Based on Decarboxylation and Iron-Catalyzed C-H Activation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Disorientation]()
Disorientation
20,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Mathematical Biology]()
Introduction to Mathematical Biology
53,49 €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: The Proving Ground]()
The Proving Ground
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
