Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Theorem Proving in Higher Order Logics
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25,2005, Proceedings, Lecture Notes in Computer Science 3603 – Theoretical Computer Science and General Issues
| ISBN: | 3540283722 |
|---|---|
| ISBN 13: | 9783540283720 |
| Herausgeber: | Joe Hurd/Tom Melham |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 414 S. |
| Erscheinungsdatum: | 08.08.2005 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![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: Logics in AI]()
Logics in AI
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: Automated Theorem Proving in Software Engineering]()
Automated Theorem Proving in Software Engineering
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: Social media logics]()
Social media logics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
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: Fermat's Last Theorem]()
Fermat’s Last Theorem
13,90 €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: Automated Theorem Proving]()
Automated Theorem Proving
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Applied Logics]()
Advances in Applied Logics
160,49 €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: 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: Theorem Proving in Higher Order Logics]()
Theorem Proving in Higher Order Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nonmonotonic Logics]()
Nonmonotonic Logics
53,49 €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: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
53,49 €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: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
70,61 €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: Theorem Proving with the Real Numbers]()
Theorem Proving with the Real Numbers
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: The Pi-Theorem]()
The Pi-Theorem
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Social media logics]()
Social media logics
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: Interactive Theorem Proving]()
Interactive Theorem Proving
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: Automated Theorem Proving]()
Automated Theorem Proving
54,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: Border Complexities and Logics of Dis/Order]()
Border Complexities and Logics of Dis/Order
59,00 €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: Das letzte Theorem]()
Das letzte Theorem
9,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Many-Valued Logics]()
Many-Valued Logics
106,99 €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: Resource Misallocation Theorem]()
Resource Misallocation Theorem
128,39 €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: Map Color Theorem]()
Map Color Theorem
90,94 €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: Interactive Theorem Proving]()
Interactive Theorem Proving
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
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: Logics in Computer Science]()
Logics in Computer Science
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: Logics of Programs]()
Logics of Programs
50,28 €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: Proving the Double Bottom Line]()
Proving the Double Bottom Line
49,00 €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: 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: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
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: Proof and Proving in Mathematics Education]()
Proof and Proving in Mathematics Education
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probability Logics]()
Probability Logics
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
96,29 €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: Das Modigliani-Miller-Theorem]()
Das Modigliani-Miller-Theorem
19,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Metainferential Logics]()
Metainferential Logics
106,99 €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: Logics of Programs]()
Logics of Programs
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics for Concurrency]()
Logics for Concurrency
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: 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: Constraints in Computational Logics]()
Constraints in Computational Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
70,61 €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
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: Fermat's Last Theorem]()
Fermat’s Last Theorem
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: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Metainferential Logics]()
Metainferential Logics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics of Programs]()
Logics of Programs
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 Pi-Theorem]()
The Pi-Theorem
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
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: Brooks' Theorem]()
Brooks‘ Theorem
181,89 €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: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
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: 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: Programming Logics]()
Programming Logics
53,49 €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: The Proving Ground]()
The Proving Ground
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protoalgebraic Logics]()
Protoalgebraic Logics
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: Alternative Logics]()
Alternative Logics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Protoalgebraic Logics]()
Protoalgebraic Logics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probability Logics]()
Probability Logics
139,09 €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: Logics in AI]()
Logics in AI
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
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: Interactive Theorem Proving and Program Development]()
Interactive Theorem Proving and Program Development
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Many-Valued Logics]()
Many-Valued Logics
106,99 €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
