Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Interactive Theorem Proving and Program Development
Lieferzeit: Lieferbar innerhalb 14 Tagen
117,69 €
inkl. 7 % MwSt. zzgl. Versandkosten
CoqArt: The Calculus of Inductive Constructions, Texts in Theoretical Computer Science. An EATCS Series
| ISBN: | 3540208542 |
|---|---|
| ISBN 13: | 9783540208549 |
| Autor: | Bertot, Yves/Castéran, Pierre |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xxv, 472 S., 1 s/w Illustr., 472 p. 1 illus. |
| Erscheinungsdatum: | 14.05.2004 |
| Format: | 3.3 x 24.1 x 16.6 |
| Gewicht: | 940 g |
| Produktform: | Gebunden/Hardback |
| Einband: | Gebunden |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Medtech]()
Medtech
117,69 €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: Fermat's Last Theorem]()
Fermat’s Last Theorem
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Gleason's Theorem and Its Applications]()
Gleason’s Theorem and Its Applications
139,09 €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: Das Modigliani-Miller-Theorem]()
Das Modigliani-Miller-Theorem
19,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: RSEO et e-learning pour des cadres des Opérations du groupe AFD]()
RSEO et e-learning pour des cadres des Opérations du groupe AFD
32,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: Mechanical Geometry Theorem Proving]()
Mechanical Geometry Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automatic Program Development]()
Automatic Program Development
106,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: Proof and Proving in Mathematics Education]()
Proof and Proving in Mathematics Education
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Calcul ab initio d'Alignements de bandes]()
Calcul ab initio d’Alignements de bandes
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Operational Research as part of structural adjustment programs]()
Operational Research as part of structural adjustment programs
23,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: Fermat's Last Theorem]()
Fermat’s Last Theorem
13,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: Bousfield Classes and Ohkawa's Theorem]()
Bousfield Classes and Ohkawa’s Theorem
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reading, Writing, and Proving]()
Reading, Writing, and Proving
64,15 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abels Theorem in Problems and Solutions]()
Abels Theorem in Problems and Solutions
149,79 €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: 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: Abels Theorem in Problems and Solutions]()
Abels Theorem in Problems and Solutions
149,79 €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: 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: Automatic Program Development]()
Automatic Program Development
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Development of Interactive Systems]()
Specification and Development of Interactive Systems
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: Structural Adjustment Program and Sustainable Development in Cameroon]()
Structural Adjustment Program and Sustainable Development in Cameroon
32,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Specification and Development of Interactive Systems]()
Specification and Development of Interactive Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reading, Writing, and Proving]()
Reading, Writing, and Proving
64,15 €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: Sistema de acciones]()
Sistema de acciones
49,00 €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: Automated Theorem Proving]()
Automated Theorem Proving
128,39 €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 letzte Fermat-Theoren]()
Das letzte Fermat-Theoren
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Carter Subgroups and Carter's Theorem]()
Carter Subgroups and Carter’s Theorem
49,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: Arrow's Impossibility Theorem in Practice]()
Arrow’s Impossibility Theorem in Practice
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Gleason's Theorem and Its Applications]()
Gleason’s Theorem and Its Applications
139,09 €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: Proving It Her Way]()
Proving It Her Way
35,30 €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: The Implicit Function Theorem]()
The Implicit Function Theorem
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis from Incomplete Information]()
Logic Program Synthesis from Incomplete Information
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Learning Basic Genetics with Interactive Computer Programs]()
Learning Basic Genetics with Interactive Computer Programs
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: Fermat's Last Theorem]()
Fermat’s Last Theorem
49,00 €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: Equivariant Lyapunof Center Theorem]()
Equivariant Lyapunof Center Theorem
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis from Incomplete Information]()
Logic Program Synthesis from Incomplete Information
160,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: Mechanical Geometry Theorem Proving]()
Mechanical Geometry Theorem Proving
106,99 €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: La participation publique au plan directeur cantonal vaudois]()
La participation publique au plan directeur cantonal vaudois
49,90 €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: Über das letzte fermatsche Theorem]()
Über das letzte fermatsche Theorem
14,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: Proof and Proving in Mathematics Education]()
Proof and Proving in Mathematics Education
42,79 €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: Les sept passions de prudence]()
Les sept passions de prudence
86,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bousfield Classes and Ohkawa's Theorem]()
Bousfield Classes and Ohkawa’s Theorem
160,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: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Measurement of Market Risk]()
The Measurement of Market Risk
106,99 €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: 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: 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 the Mordell-Weil Theorem]()
Lectures on the Mordell-Weil Theorem
74,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Program Development]()
Formal Program Development
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: Biswas Theorem]()
Biswas Theorem
61,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: Bell's Theorem and Quantum Realism]()
Bell’s Theorem and Quantum Realism
53,49 €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: First-Order Logic and Automated Theorem Proving]()
First-Order Logic and Automated Theorem Proving
90,94 €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: Mechanical Theorem Proving in Geometries]()
Mechanical Theorem Proving in Geometries
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: Das Theorem des Demokratischen Friedens]()
Das Theorem des Demokratischen Friedens
17,95 €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 Formation of the Swiss Hospital System (1840-1960)]()
The Formation of the Swiss Hospital System (1840-1960)
160,49 €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: 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: Brooks' Theorem]()
Brooks‘ Theorem
181,89 €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: Resource Misallocation Theorem]()
Resource Misallocation Theorem
128,39 €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: Noether's Theorem]()
Noether’s Theorem
39,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: 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: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Los fundamentos de la alternatividad]()
Los fundamentos de la alternatividad
64,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
85,59 €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
