Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Proof Theory in Computer Science
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12,2001.Proceedings, Lecture Notes in Computer Science 2183
| ISBN: | 354042752X |
|---|---|
| ISBN 13: | 9783540427520 |
| Herausgeber: | Reinhard Kahle/Peter Schroeder-Heister/Robert Stärk |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 246 S. |
| Erscheinungsdatum: | 28.09.2001 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Trauma Proof]()
Trauma Proof
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Proof Theory for General Unification]()
A Proof Theory for General Unification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Assistants and Their Applications in Mathematics and Computer Science]()
Proof Assistants and Their Applications in Mathematics and Computer Science
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Aristotele's Modal Proofs]()
Aristotele’s Modal Proofs
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proofs and Fundamentals]()
Proofs and Fundamentals
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
30,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Category Theory and Computer Science]()
Category Theory and Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hybrid Logic and its Proof-Theory]()
Hybrid Logic and its Proof-Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bullet Proof World]()
Bullet Proof World
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Class Field Theory: Proofs and Applications]()
Class Field Theory: Proofs and Applications
24,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof of Collusion]()
Proof of Collusion
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory for Fuzzy Logics]()
Proof Theory for Fuzzy Logics
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Final Proof]()
Final Proof
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Proof Theory]()
Advances in Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Goal-Directed Proof Theory]()
Goal-Directed Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concepts of Proof in Mathematics, Philosophy, and Computer Science]()
Concepts of Proof in Mathematics, Philosophy, and Computer Science
154,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Resolution Proof Systems]()
Resolution Proof Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory of Modal Logic]()
Proof Theory of Modal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Many Convincing Proofs]()
Many Convincing Proofs
179,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science and Education in Computer Science]()
Computer Science and Education in Computer Science
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Aided Proofs in Analysis]()
Computer Aided Proofs in Analysis
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Combinators,-Terms and Proof Theory]()
Combinators,-Terms and Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof of Heaven]()
Proof of Heaven
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics]()
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic and Proof Theory]()
Computational Logic and Proof Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science -- Theory and Applications]()
Computer Science — Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science -- Theory and Applications]()
Computer Science — Theory and Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Many Infallible Proofs]()
Many Infallible Proofs
25,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science]()
Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory for Fuzzy Logics]()
Proof Theory for Fuzzy Logics
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BTS: Proof]()
BTS: Proof
29,99 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science -- Theory and Applications]()
Computer Science — Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory and Intuitionistic Systems]()
Proof Theory and Intuitionistic Systems
42,75 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Patterns]()
Proof Patterns
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Absolute Proof]()
Absolute Proof
19,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science]()
Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: -Calculus and Computer Science Theory]()
-Calculus and Computer Science Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ways of Proof Theory]()
Ways of Proof Theory
230,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory and Automated Deduction]()
Proof Theory and Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science -- Theory and Applications]()
Computer Science — Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Age Proof]()
Age Proof
13,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hybrid Logic and its Proof-Theory]()
Hybrid Logic and its Proof-Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Introduction to Proofs with Set Theory]()
An Introduction to Proofs with Set Theory
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Future-Proof-Mindset]()
Das Future-Proof-Mindset
22,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ontological Proofs Today]()
Ontological Proofs Today
230,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Age Proof]()
Age Proof
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science]()
Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science and Education in Computer Science]()
Computer Science and Education in Computer Science
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook of Logic and Proof Techniques for Computer Science]()
Handbook of Logic and Proof Techniques for Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Proof Theory for Description Logics]()
A Proof Theory for Description Logics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rejection Proof]()
Rejection Proof
14,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Applied Proof Theory: Proof Interpretations and their Use in Mathematics]()
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Category Theory and Computer Science]()
Category Theory and Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science and Education in Computer Science]()
Computer Science and Education in Computer Science
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science -- Theory and Applications]()
Computer Science — Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Final Proof]()
Final Proof
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational Logic and Proof Theory]()
Computational Logic and Proof Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Absolute Proof]()
Absolute Proof
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Category Theory and Computer Science]()
Category Theory and Computer Science
50,28 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
10,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Scriptural Proofs]()
Scriptural Proofs
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Resolution Proof Systems]()
Resolution Proof Systems
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rabbit-Proof Fence]()
Rabbit-Proof Fence
15,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Combinators,-Terms and Proof Theory]()
Combinators,-Terms and Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook of Logic and Proof Techniques for Computer Science]()
Handbook of Logic and Proof Techniques for Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proofs and Fundamentals]()
Proofs and Fundamentals
64,15 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Category Theory and Computer Science]()
Category Theory and Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory and Algebra in Logic]()
Proof Theory and Algebra in Logic
40,65 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Category Theory and Computer Science]()
Category Theory and Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tests and Proofs]()
Tests and Proofs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Proof Theory for General Unification]()
A Proof Theory for General Unification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computer Science - Theory and Applications]()
Computer Science – Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Proof Theory]()
Advances in Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory of Modal Logic]()
Proof Theory of Modal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Social proof influences]()
Social proof influences
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
