Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Labelled Deduction
Lieferzeit: Lieferbar innerhalb 14 Tagen
106,99 €
inkl. 7 % MwSt. zzgl. Versandkosten
Applied Logic Series 17
| ISBN: | 9401057818 |
|---|---|
| ISBN 13: | 9789401057813 |
| Herausgeber: | David Basin/M D’Agostino/Dov M Gabbay et al |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xi, 267 S. |
| Erscheinungsdatum: | 08.10.2012 |
| Auflage: | 1/2012 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction]()
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Natural Deduction]()
Advances in Natural Deduction
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-11]()
Automated Deduction – CADE-11
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 27]()
Automated Deduction – CADE 27
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Equational Logic and Cubic Curves]()
Automated Deduction in Equational Logic and Cubic Curves
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-19]()
Automated Deduction – CADE-19
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Deduction From Apperception]()
Kants Deduction From Apperception
159,95 €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: Scientific work through plagiarism-free deduction]()
Scientific work through plagiarism-free deduction
25,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Labelled Non-Classical Logics]()
Labelled Non-Classical Logics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 9th International Conference on Automated Deduction]()
9th International Conference on Automated Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-18]()
Automated Deduction – CADE-18
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Topology Deduction and Control for Dual-Active-Bridge Converters]()
Topology Deduction and Control for Dual-Active-Bridge Converters
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications]()
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-20]()
Automated Deduction – CADE-20
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Relativistic Deduction]()
The Relativistic Deduction
85,55 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Exercise book Scientific work through plagiarism-free deduction]()
Exercise book Scientific work through plagiarism-free deduction
25,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications]()
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deduction, Computation, Experiment]()
Deduction, Computation, Experiment
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Transcendental Deduction]()
Kants Transcendental Deduction
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Induced errors - sources and pedagogical deductions]()
Induced errors – sources and pedagogical deductions
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Doubly Labelled Water]()
Doubly Labelled Water
320,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications]()
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dealing with Imbalanced and Weakly Labelled Data in Machine Learning using Fuzzy and Rough Set Methods]()
Dealing with Imbalanced and Weakly Labelled Data in Machine Learning using Fuzzy and Rough Set Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Deduction]()
Logic and Deduction
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-25]()
Automated Deduction – CADE-25
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-14]()
Automated Deduction – CADE-14
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence]()
A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Natural Deduction]()
Advances in Natural Deduction
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kant's Transcendental Deduction and the Theory of Apperception]()
Kant’s Transcendental Deduction and the Theory of Apperception
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductions from the World War]()
Deductions from the World War
31,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 26]()
Automated Deduction – CADE 26
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Enzyme Labelled Immunoassay of Hormones and Drugs]()
Enzyme Labelled Immunoassay of Hormones and Drugs
139,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 10th International Conference on Automated Deduction]()
10th International Conference on Automated Deduction
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Dice Deduction]()
Dice Deduction
17,99 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-17]()
Automated Deduction – CADE-17
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Package Scientific work through plagiarism-free deduction]()
Package Scientific work through plagiarism-free deduction
48,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Consumers Buying Behaviour Towards Fairtrade Labelled Products Chester]()
Consumers Buying Behaviour Towards Fairtrade Labelled Products Chester
43,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction]()
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 30]()
Automated Deduction – CADE 30
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Virtual Worlds and Tax Deductions - A South African Perspective]()
Virtual Worlds and Tax Deductions – A South African Perspective
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis of selectively 15N labelled PpiB, C-peptide and DnaG-C by NMR]()
Analysis of selectively 15N labelled PpiB, C-peptide and DnaG-C by NMR
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Labelled Non-Classical Logics]()
Labelled Non-Classical Logics
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Natural Deduction, Hybrid Systems and Modal Logics]()
Natural Deduction, Hybrid Systems and Modal Logics
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Logical Deduction of Chinese Traditional Political Philosophy]()
The Logical Deduction of Chinese Traditional Political Philosophy
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Logical Deduction of Chinese Traditional Political Philosophy]()
The Logical Deduction of Chinese Traditional Political Philosophy
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction in Geometry]()
Automated Deduction in Geometry
42,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Relativistic Deduction]()
The Relativistic Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications]()
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications]()
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 29]()
Automated Deduction – CADE 29
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deductions-Bibliothek von Deutschland]()
Deductions-Bibliothek von Deutschland
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Transcendental Deduction]()
Kants Transcendental Deduction
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Labelled Deduction]()
Labelled Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-23]()
Automated Deduction – CADE-23
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 7th International Conference on Automated Deduction]()
7th International Conference on Automated Deduction
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-21]()
Automated Deduction – CADE-21
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-15]()
Automated Deduction – CADE-15
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 8th International Conference on Automated Deduction]()
8th International Conference on Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Topology Deduction and Control for Dual-Active-Bridge Converters]()
Topology Deduction and Control for Dual-Active-Bridge Converters
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Induction and Deduction in the Sciences]()
Induction and Deduction in the Sciences
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Natural Deduction, Hybrid Systems and Modal Logics]()
Natural Deduction, Hybrid Systems and Modal Logics
246,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE-16]()
Automated Deduction – CADE-16
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Darstellung der Kantischen Erkenntnisstheorie mit besonderer Berücksichtigung der verschiedenen Fassungen der transscendentalen Deduction der Kategorien]()
Darstellung der Kantischen Erkenntnisstheorie mit besonderer Berücksichtigung der verschiedenen Fassungen der transscendentalen Deduction der Kategorien
29,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Novel Synthesis Of Isotopically Labelled L-Histidine]()
A Novel Synthesis Of Isotopically Labelled L-Histidine
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Historical and Chronological Deduction of the Origin of Commerce]()
An Historical and Chronological Deduction of the Origin of Commerce
40,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Darstellung der Kantischen Erkenntnisstheorie mit besonderer Berücksichtigung der verschiedenen Fassungen der transscendentalen Deduction der Kategorien]()
Darstellung der Kantischen Erkenntnisstheorie mit besonderer Berücksichtigung der verschiedenen Fassungen der transscendentalen Deduction der Kategorien
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction -- CADE-24]()
Automated Deduction — CADE-24
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 5th Conference on Automated Deduction]()
5th Conference on Automated Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Explanation, Causation and Deduction]()
Explanation, Causation and Deduction
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Induction and Deduction in the Sciences]()
Induction and Deduction in the Sciences
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Historical and Chronological Deduction of the Origin of Commerce]()
An Historical and Chronological Deduction of the Origin of Commerce
35,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deduction Systems]()
Deduction Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Automated Deduction - CADE 28]()
Automated Deduction – CADE 28
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Simulation des Social-Deduction-Games 'Werwolf' und Modellierung der sozialen Interaktion]()
Simulation des Social-Deduction-Games ‚Werwolf‘ und Modellierung der sozialen Interaktion
42,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence]()
A Many-Valued Approach to Deduction and Reasoning for Artificial Intelligence
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
