Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Goal-Directed Proof Theory
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Applied Logic Series 21
| ISBN: | 9048155266 |
|---|---|
| ISBN 13: | 9789048155262 |
| Autor: | Gabbay, Dov M/Olivetti, N |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 268 S., 1 s/w Illustr. |
| Erscheinungsdatum: | 04.12.2010 |
| Auflage: | 1/2010 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Advances in Proof Theory]()
Advances in Proof Theory
106,99 €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 in Computer Science]()
Proof Theory in Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Kripke Semantics]()
Reactive Kripke Semantics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neural-Symbolic Cognitive Reasoning]()
Neural-Symbolic Cognitive Reasoning
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Foreigner-Directed Speech in Argentina]()
Foreigner-Directed Speech in Argentina
45,00 €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: Directed Evolution Library Creation]()
Directed Evolution Library Creation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics-Directed Compiler Generation]()
Semantics-Directed Compiler Generation
37,44 €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]()
Proof Theory
106,99 €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: Writing Proofs in Analysis]()
Writing Proofs in Analysis
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Politisches Sprichwörterbrevier: Tagebuch eines Patrioten der fünfziger Jahre]()
Politisches Sprichwörterbrevier: Tagebuch eines Patrioten der fünfziger Jahre
69,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robust Optimization Directed-Design]()
Robust Optimization Directed-Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantical Investigations in Heyting's Intuitionistic Logic]()
Semantical Investigations in Heyting’s Intuitionistic Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Drug Delivery]()
Directed Drug Delivery
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
10,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Absolute Proof]()
Absolute Proof
11,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: From Attention to Goal-Directed Behavior]()
From Attention to Goal-Directed Behavior
213,99 €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: Proof Theory]()
Proof Theory
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Evolution]()
Directed Evolution
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: BTS: Proof]()
BTS: Proof
29,99 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analogie des Subjekts]()
Analogie des Subjekts
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Proofs in Elementary Set Theory]()
Formal Proofs in Elementary Set Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Patterns]()
Proof Patterns
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adapting Proofs-as-Programs]()
Adapting Proofs-as-Programs
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: Proof Theory and Automated Deduction]()
Proof Theory and Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Los 12 pasos más 1 del planeamiento estratégico]()
Los 12 pasos más 1 del planeamiento estratégico
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adapting Proofs-as-Programs]()
Adapting Proofs-as-Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Robust Optimization-Directed Design]()
Robust Optimization-Directed Design
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Information Measures in Neuroscience]()
Directed Information Measures in Neuroscience
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Metallation]()
Directed Metallation
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Energy Weapons]()
Directed Energy Weapons
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Absolute Proof]()
Absolute Proof
19,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A New Perspective on Nonmonotonic Logics]()
A New Perspective on Nonmonotonic Logics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Evolution Library Creation]()
Directed Evolution Library Creation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Ersema Prayers of the First Millennium BC]()
The Ersema Prayers of the First Millennium BC
89,00 €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: Directed Information Measures in Neuroscience]()
Directed Information Measures in Neuroscience
106,99 €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: Directed Evolution Library Creation]()
Directed Evolution Library Creation
123,04 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A General Theory of Evidence and Proof]()
A General Theory of Evidence and Proof
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Partial Discharge In Power Transformer With Non-Directed Coolant]()
Partial Discharge In Power Transformer With Non-Directed Coolant
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Politisches Sprichwörterbrevier: Tagebuch eines Patrioten der fünfziger Jahre]()
Politisches Sprichwörterbrevier: Tagebuch eines Patrioten der fünfziger Jahre
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Evolution]()
Directed Evolution
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logical Tools for Handling Change in Agent-Based Systems]()
Logical Tools for Handling Change in Agent-Based Systems
160,49 €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: Scriptural Proofs]()
Scriptural Proofs
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantical Investigations in Heyting's Intuitionistic Logic]()
Semantical Investigations in Heyting’s Intuitionistic Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cooperative Directed Reading]()
Cooperative Directed Reading
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The goal-setting theory]()
The goal-setting theory
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neural-Symbolic Learning Systems]()
Neural-Symbolic Learning Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Energy Weapons]()
Directed Energy Weapons
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ways of Proof Theory]()
Ways of Proof Theory
250,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics]()
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Pacifying the Hearts of the Gods]()
Pacifying the Hearts of the Gods
78,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
30,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Age Proof]()
Age Proof
13,90 €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 New Perspective on Nonmonotonic Logics]()
A New Perspective on Nonmonotonic Logics
106,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: Proof]()
Proof
35,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: Revision, Acceptability and Context]()
Revision, Acceptability and Context
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Quantities in Electrodynamics]()
Directed Quantities in Electrodynamics
139,09 €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: Directed Quantities in Electrodynamics]()
Directed Quantities in Electrodynamics
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logical Tools for Handling Change in Agent-Based Systems]()
Logical Tools for Handling Change in Agent-Based Systems
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: GOAL]()
GOAL
7,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Classes of Directed Graphs]()
Classes of Directed Graphs
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Classes of Directed Graphs]()
Classes of Directed Graphs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Metallation]()
Directed Metallation
353,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Writing Proofs in Analysis]()
Writing Proofs in Analysis
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reactive Kripke Semantics]()
Reactive Kripke Semantics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Neural-Symbolic Cognitive Reasoning]()
Neural-Symbolic Cognitive Reasoning
74,89 €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: Conditionals and Modularity in General Logics]()
Conditionals and Modularity in General Logics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Revision, Acceptability and Context]()
Revision, Acceptability and Context
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kidstory]()
Kidstory
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: From Attention to Goal-Directed Behavior]()
From Attention to Goal-Directed Behavior
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Final Proof]()
Final Proof
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditionals and Modularity in General Logics]()
Conditionals and Modularity in General Logics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Goal]()
Goal
33,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Oncogene-Directed Therapies]()
Oncogene-Directed Therapies
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Evolution Library Creation]()
Directed Evolution Library Creation
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Syntax-Directed Semantics]()
Syntax-Directed Semantics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Drug Delivery]()
Directed Drug Delivery
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trauma Proof]()
Trauma Proof
16,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: Age Proof]()
Age Proof
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Final Proof]()
Final Proof
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Enzyme Evolution]()
Directed Enzyme Evolution
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Motivational Currents in L2]()
Directed Motivational Currents in L2
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
