Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Theorem Proving with the Real Numbers
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Distinguished Dissertations
| ISBN: | 1447115937 |
|---|---|
| ISBN 13: | 9781447115939 |
| Autor: | Harrison, John |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xii, 186 S. |
| Erscheinungsdatum: | 20.11.2011 |
| Auflage: | 1/2011 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: The Proving Ground]()
The Proving Ground
24,90 €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: The Implicit Function Theorem]()
The Implicit Function Theorem
67,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numbers and Geometry]()
Numbers and Geometry
52,38 €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: An Answer to Dr. Pusey's Challenge Respecting the Doctrine of the Real Presence]()
An Answer to Dr. Pusey’s Challenge Respecting the Doctrine of the Real Presence
41,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Fundamental Theorem of Algebra]()
The Fundamental Theorem of Algebra
85,59 €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: Automated Theorem Proving]()
Automated Theorem Proving
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numbers]()
Numbers
14,99 €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: Proving It Her Way]()
Proving It Her Way
37,44 €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: Lectures on Choquet's Theorem]()
Lectures on Choquet’s Theorem
42,79 €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: Mechanical Geometry Theorem Proving]()
Mechanical Geometry Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Four-Color Theorem]()
The Four-Color Theorem
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: 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: The Real Numbers and Real Analysis]()
The Real Numbers and Real Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Real Numbers and Real Analysis]()
The Real Numbers and Real Analysis
80,24 €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: 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: Numbers]()
Numbers
20,90 €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: Proving the Double Bottom Line]()
Proving the Double Bottom Line
49,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: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
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: Automated Theorem Proving]()
Automated Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numbers]()
Numbers
13,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numbers and Geometry]()
Numbers and Geometry
52,38 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Implicit Function Theorem]()
The Implicit Function Theorem
96,29 €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: 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: Über das letzte fermatsche Theorem]()
Über das letzte fermatsche Theorem
14,90 €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: Resource Misallocation Theorem]()
Resource Misallocation Theorem
128,39 €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: 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: The Diversified Clandestine of Real Numbers]()
The Diversified Clandestine of Real Numbers
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numbers]()
Numbers
10,99 €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: The Real Numbers]()
The Real Numbers
29,95 €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: 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,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Brooks' Theorem]()
Brooks‘ Theorem
181,89 €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: Numbers]()
Numbers
85,59 €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: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €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: Fermat's Great Theorem]()
Fermat’s Great Theorem
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Biswas Theorem]()
Biswas Theorem
61,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Book of Numbers]()
The Book of Numbers
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Dictionary of Real Numbers]()
A Dictionary of Real Numbers
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: Numbers]()
Numbers
10,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Zeta function for those outside the top club of Prime Numbers Theorem]()
The Zeta function for those outside the top club of Prime Numbers Theorem
12,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: Using the Borsuk-Ulam Theorem]()
Using the Borsuk-Ulam Theorem
80,24 €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: Das Theorem des Demokratischen Friedens]()
Das Theorem des Demokratischen Friedens
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Complex Numbers: A Real Approach]()
Complex Numbers: A Real Approach
39,90 €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: The Atiyah-Singer Index Theorem]()
The Atiyah-Singer Index Theorem
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Birth of a Theorem]()
Birth of a Theorem
13,90 €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: Real Numbers, Generalizations of the Reals, and Theories of Continua]()
Real Numbers, Generalizations of the Reals, and Theories of Continua
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Real Numbers, Generalizations of the Reals, and Theories of Continua]()
Real Numbers, Generalizations of the Reals, and Theories of Continua
160,49 €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: Nice Numbers]()
Nice Numbers
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nice Numbers]()
Nice Numbers
64,19 €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: Automated Theorem Proving]()
Automated Theorem Proving
160,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: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
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: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Equivariant Lyapunof Center Theorem]()
Equivariant Lyapunof Center Theorem
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Real Numbers]()
The Real Numbers
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Jean Baudrillard und das Theorem der Simulation]()
Jean Baudrillard und das Theorem der Simulation
47,95 €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 des Todes]()
Theorem des Todes
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 and Program Development]()
Interactive Theorem Proving and Program Development
128,39 €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: Das letzte Theorem]()
Das letzte Theorem
9,95 €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: The Fundamental Theorem of Algebra]()
The Fundamental Theorem of Algebra
60,98 €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: Automated Theorem Proving in Software Engineering]()
Automated Theorem Proving in Software Engineering
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Music by Numbers]()
Music by Numbers
68,00 €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: Fermat's Last Theorem]()
Fermat’s Last Theorem
49,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: Arrow's Impossibility Theorem in Practice]()
Arrow’s Impossibility Theorem in Practice
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numbers]()
Numbers
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
