Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
A Proof Theory for Description Logics
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
SpringerBriefs in Computer Science
| ISBN: | 144714001X |
|---|---|
| ISBN 13: | 9781447140016 |
| Autor: | Rademaker, Alexandre |
| Verlag: | Springer Verlag GmbH |
| Umfang: | x, 106 S., 16 s/w Illustr., 106 p. 16 illus. |
| Erscheinungsdatum: | 18.05.2012 |
| Auflage: | 1/2012 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Constraints in Computational Logics: Theory and Applications]()
Constraints in Computational Logics: Theory and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algebraic and Proof-Theoretic Aspects of Non-Classical Logics]()
Algebraic and Proof-Theoretic Aspects of Non-Classical Logics
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: Das Stehen]()
Das Stehen
54,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: Advances in Proof Theory]()
Advances in Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Statistical Logics For Research]()
Statistical Logics For Research
79,00 €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: Metainferences in Substructural Logics]()
Metainferences in Substructural Logics
96,29 €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: Proof Theory]()
Proof Theory
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: Set Theory and Syntactic Description]()
Set Theory and Syntactic Description
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics and Falsifications]()
Logics and Falsifications
53,49 €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: Proof Theory for Fuzzy Logics]()
Proof Theory for Fuzzy Logics
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Completeness Theory for Propositional Logics]()
Completeness Theory for Propositional Logics
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 Theory in Computer Science]()
Proof Theory in Computer Science
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: R-Calculus, V: Description Logics]()
R-Calculus, V: Description Logics
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
80,24 €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: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
104,85 €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 Automated Deduction]()
Proof Theory and Automated Deduction
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: Computational Logic and Proof Theory]()
Computational Logic and Proof Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Arnon Avron on Semantics and Proof Theory of Non-Classical Logics]()
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
10,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probability Logics]()
Probability Logics
139,09 €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: R-Calculus, V: Description Logics]()
R-Calculus, V: Description Logics
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Theory of Descriptions]()
The Theory of Descriptions
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: Protoalgebraic Logics]()
Protoalgebraic Logics
160,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: The Theory of Descriptions]()
The Theory of Descriptions
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Methods for Modal and Intuitionistic Logics]()
Proof Methods for Modal and Intuitionistic Logics
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Theory]()
Proof Theory
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nonmonotonic Logics]()
Nonmonotonic Logics
53,49 €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: Advances in Proof Theory]()
Advances in Proof Theory
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: Proof Theory of Modal Logic]()
Proof Theory of Modal Logic
160,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: Substructural Logics: A Primer]()
Substructural Logics: A Primer
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics and Falsifications]()
Logics and Falsifications
53,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: 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
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: Absolute Proof]()
Absolute Proof
19,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: 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: Substructural Logics: A Primer]()
Substructural Logics: A Primer
235,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Intuitionistic Fuzzy Logics]()
Intuitionistic Fuzzy Logics
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: Age Proof]()
Age Proof
13,90 €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: Adaptive Logics for Defeasible Reasoning]()
Adaptive Logics for Defeasible Reasoning
106,99 €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: Proof Theory and Intuitionistic Systems]()
Proof Theory and Intuitionistic Systems
42,75 €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 Computer Science]()
Logics in Computer Science
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: 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
70,61 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Description Logics in Multimedia Reasoning]()
Description Logics in Multimedia Reasoning
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Probability Logics]()
Probability Logics
139,09 €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: Social media logics]()
Social media logics
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Green Media]()
Green Media
93,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: Alternative Logics]()
Alternative Logics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof Methods for Modal and Intuitionistic Logics]()
Proof Methods for Modal and Intuitionistic Logics
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics for Linguistic Structures]()
Logics for Linguistic Structures
179,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Description Logics in Multimedia Reasoning]()
Description Logics in Multimedia Reasoning
117,69 €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
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
30,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics for Computer Science]()
Logics for Computer Science
139,09 €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: Intuitionistic Fuzzy Logics]()
Intuitionistic Fuzzy Logics
106,99 €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: Arnon Avron on Semantics and Proof Theory of Non-Classical Logics]()
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
149,79 €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
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: Protoalgebraic Logics]()
Protoalgebraic Logics
160,49 €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: Logics in Artificial Intelligence]()
Logics in Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Non-Standard Inferences in Description Logics]()
Non-Standard Inferences in Description Logics
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: Ways of Proof Theory]()
Ways of Proof Theory
230,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Proof]()
Proof
17,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
