Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Automated Deduction – CADE 30
Lieferzeit: Lieferbar innerhalb 14 Tagen
42,79 €
inkl. 7 % MwSt. zzgl. Versandkosten
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31,2025, Proceedings, Lecture Notes in Computer Science 15943 – Lecture Notes in Artificial Intelligence
| ISBN: | 3031999835 |
|---|---|
| ISBN 13: | 9783031999833 |
| Herausgeber: | Clark Barrett/Uwe Waldmann |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xx, 756 S., 45 s/w Illustr., 61 farbige Illustr., 756 p. 106 illus., 61 illus. in color. |
| Erscheinungsdatum: | 30.07.2025 |
| Auflage: | 1/2025 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: CAD im Bauwesen]()
CAD im Bauwesen
79,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: CAD für Maker]()
CAD für Maker
34,99 €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: Automated Deduction - CADE-21]()
Automated Deduction – CADE-21
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-CAM]()
CAD-CAM
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Produktdatenaustausch zwischen CAD-Systemen]()
Produktdatenaustausch zwischen CAD-Systemen
66,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kants Deduction From Apperception]()
Kants Deduction From Apperception
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-Expertensystem]()
CAD-Expertensystem
54,99 €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: Labelled Deduction]()
Labelled Deduction
106,99 €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: CAD-Systeme]()
CAD-Systeme
74,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-Datenbanksysteme]()
CAD-Datenbanksysteme
44,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 in Geometry]()
Automated Deduction in Geometry
42,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD]()
CAD
54,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: CAD/CAM]()
CAD/CAM
164,95 €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 29]()
Automated Deduction – CADE 29
42,79 €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-17]()
Automated Deduction – CADE-17
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Numerische Methoden im CAD]()
Numerische Methoden im CAD
54,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: Automated Deduction in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-CAM]()
CAD-CAM
60,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-Handbuch]()
CAD-Handbuch
54,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-11]()
Automated Deduction – CADE-11
106,99 €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: CAD der Mikroelektronik]()
CAD der Mikroelektronik
119,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD für Architekten]()
CAD für Architekten
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD & Office Integration]()
CAD & Office Integration
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Enseñando CAD]()
Enseñando CAD
28,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: Automated Deduction - CADE 28]()
Automated Deduction – CADE 28
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD für VLSI]()
CAD für VLSI
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-CAM IN DER PROSTHODONTIE]()
CAD-CAM IN DER PROSTHODONTIE
48,60 €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: Kants Transcendental Deduction]()
Kants Transcendental Deduction
213,99 €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: Automated Deduction - CADE-16]()
Automated Deduction – CADE-16
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Deduction Systems]()
Deduction Systems
53,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: CAD im Maschinenbau]()
CAD im Maschinenbau
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Trends in CAD/CAM]()
Trends in CAD/CAM
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-Austausch-Knigge]()
CAD-Austausch-Knigge
49,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-Systeme]()
CAD-Systeme
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Microtransducer CAD]()
Microtransducer CAD
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: CAD-Programm]()
CAD-Programm
18,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD mit VectorWorks]()
CAD mit VectorWorks
51,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD mit ACAD-Bau]()
CAD mit ACAD-Bau
54,99 €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: CAD für Bauingenieure]()
CAD für Bauingenieure
79,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Einführung von CAD als Reorganisationsprozeß]()
Die Einführung von CAD als Reorganisationsprozeß
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cad Draw 12]()
Cad Draw 12
39,90 €inkl. 19 % 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 in Geometry]()
Automated Deduction in Geometry
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD/CAM]()
CAD/CAM
43,90 €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: 3D-CAD]()
3D-CAD
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD 92]()
CAD 92
54,99 €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: Advances in Natural Deduction]()
Advances in Natural Deduction
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD und Arbeitssituation]()
CAD und Arbeitssituation
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrierte CAD-Anwendungen]()
Integrierte CAD-Anwendungen
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD für Bauingenieure]()
CAD für Bauingenieure
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cad Frameworks]()
Cad Frameworks
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD/CAM]()
CAD/CAM
54,99 €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: CAD Management]()
CAD Management
160,49 €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: Electronic CAD Frameworks]()
Electronic CAD Frameworks
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD mit AutoCAD]()
CAD mit AutoCAD
54,99 €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: CAD/CAM für Ingenieure]()
CAD/CAM für Ingenieure
49,99 €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: CAD mit AutoCAD]()
CAD mit AutoCAD
54,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: CAD Management]()
CAD Management
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-CAM]()
CAD-CAM
7,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD Referenzmodell]()
CAD Referenzmodell
54,99 €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-20]()
Automated Deduction – CADE-20
53,49 €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: Dice Deduction]()
Dice Deduction
17,99 €inkl. 19 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD-Datenaustausch und -Datenverwaltung]()
CAD-Datenaustausch und -Datenverwaltung
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 3D CAD]()
3D CAD
128,39 €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: CAD-Begriffe]()
CAD-Begriffe
54,99 €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: CAD-Fachgespräch]()
CAD-Fachgespräch
54,99 €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-24]()
Automated Deduction — CADE-24
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CAD]()
CAD
49,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 in Geometry]()
Automated Deduction in Geometry
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
