Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automated Reasoning with Analytic Tableaux and Related Methods
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24,2015, Proceedings, Lecture Notes in Computer Science 9323 – Lecture Notes in Artificial Intelligence
| ISBN: | 331924311X |
|---|---|
| ISBN 13: | 9783319243115 |
| Herausgeber: | Hans De Nivelle |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xvi, 355 S., 70 farbige Illustr., 355 p. 70 illus. in color. |
| Erscheinungsdatum: | 12.11.2015 |
| Auflage: | 1/2015 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Includes supplementary material: sn.pub/extras
Das könnte Ihnen auch gefallen …
-
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Home Pastimes; or Tableaux Vivants]()
Home Pastimes; or Tableaux Vivants
19,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Home Pastimes; or Tableaux Vivants]()
Home Pastimes; or Tableaux Vivants
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Études-Tableaux Opp. 33 & 39]()
Études-Tableaux Opp. 33 & 39
21,95 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic and Probabilistic Methods in Number Theory]()
Analytic and Probabilistic Methods in Number Theory
114,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Trading with R]()
Automated Trading with R
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Hierarchy Process - Methode (AHP)]()
Analytic Hierarchy Process – Methode (AHP)
18,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Democracy]()
Automated Democracy
26,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etudes-Tableaux]()
Etudes-Tableaux
29,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Unit Testing with ABAP]()
Automated Unit Testing with ABAP
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Élaboration des tableaux de bord logistiques]()
Élaboration des tableaux de bord logistiques
65,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Driving]()
Automated Driving
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Matrix-Analytic Methods in Stochastic Models]()
Matrix-Analytic Methods in Stochastic Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Methods in Cryptographic Fault Analysis]()
Automated Methods in Cryptographic Fault Analysis
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Logic Programming]()
Reasoning with Logic Programming
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux & esquisses]()
Tableaux & esquisses
39,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods of Legal Reasoning]()
Methods of Legal Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Inequalities]()
Analytic Inequalities
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Rules and Precedents]()
Reasoning with Rules and Precedents
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Methods in Interdisciplinary Applications]()
Analytic Methods in Interdisciplinary Applications
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational and Analytic Methods in Science and Engineering]()
Computational and Analytic Methods in Science and Engineering
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Lies]()
Automated Lies
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Rules and Precedents]()
Reasoning with Rules and Precedents
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dual Tableaux]()
Dual Tableaux
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux noirs]()
Tableaux noirs
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Driving]()
Automated Driving
299,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Uncertainty in Robotics]()
Reasoning with Uncertainty in Robotics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Rough Sets]()
Reasoning with Rough Sets
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Rules]()
Reasoning with Rules
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning for Systems Biology and Medicine]()
Automated Reasoning for Systems Biology and Medicine
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Organizations]()
Automated Organizations
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Complex Cases]()
Reasoning with Complex Cases
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 'Les mille tableaux du réel']()
‚Les mille tableaux du réel‘
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning and Mathematics]()
Automated Reasoning and Mathematics
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Methods of Legal Reasoning]()
Methods of Legal Reasoning
181,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Diagnostic]()
Automated Diagnostic
19,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Biometrics]()
Automated Biometrics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hyperbolic Systems with Analytic Coefficients]()
Hyperbolic Systems with Analytic Coefficients
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Rules]()
Reasoning with Rules
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux Parisiens]()
Tableaux Parisiens
14,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Complex Cases]()
Reasoning with Complex Cases
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Combustion]()
Analytic Combustion
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Visual Reasoning with Diagrams]()
Visual Reasoning with Diagrams
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fundamentals of Matrix-Analytic Methods]()
Fundamentals of Matrix-Analytic Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etudes-Tableaux]()
Etudes-Tableaux
30,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Functional Programming, Concurrency, Simulation and Automated Reasoning]()
Functional Programming, Concurrency, Simulation and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Etudes-Tableaux]()
Etudes-Tableaux
99,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fundamentals of Matrix-Analytic Methods]()
Fundamentals of Matrix-Analytic Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux de voyage II.Italie]()
Tableaux de voyage II.Italie
89,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Biometrics]()
Automated Biometrics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Methods for Design Practice]()
Analytic Methods for Design Practice
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Inequalities]()
Analytic Inequalities
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Combustion]()
Analytic Combustion
117,69 €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: Tableaux de voyage I]()
Tableaux de voyage I
94,95 €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 Reasoning]()
Automated Reasoning
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reasoning with Rough Sets]()
Reasoning with Rough Sets
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Practical Reasoning]()
Automated Practical Reasoning
85,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programming and Automated Reasoning]()
Logic Programming and Automated Reasoning
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods]()
Automated Reasoning with Analytic Tableaux and Related Methods
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quatre Tableaux]()
Quatre Tableaux
40,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Thomas Ruff. TABLEAUX CHINOIS]()
Thomas Ruff. TABLEAUX CHINOIS
128,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux de Berlin]()
Tableaux de Berlin
66,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Geometry]()
Analytic Geometry
21,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning]()
Automated Reasoning
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Climate-Related Commitment and Worldview-Based Reasoning]()
Climate-Related Commitment and Worldview-Based Reasoning
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Reasoning for Systems Biology and Medicine]()
Automated Reasoning for Systems Biology and Medicine
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic and Probabilistic Methods in Number Theory]()
Analytic and Probabilistic Methods in Number Theory
359,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux et paysages]()
Tableaux et paysages
5,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Computational and Analytic Methods in Science and Engineering]()
Computational and Analytic Methods in Science and Engineering
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Tableaux de chasse]()
Tableaux de chasse
14,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analytic Methods for Design Practice]()
Analytic Methods for Design Practice
109,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Charles Baudelaire, Tableaux Parisiens]()
Charles Baudelaire, Tableaux Parisiens
58,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Matrix-Analytic Methods in Stochastic Models]()
Matrix-Analytic Methods in Stochastic Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
