Automated Deduction - | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Automated Deduction - CADE-25
product image
product image

Automated Deduction - CADE-25

52.94 EUR 4% Off 54.99 EUR

Der CADE‑25-Buchband präsentiert Berliner Beiträge zur automatischen Deduktion, von Theorem‑Proving über Modellprüfung bis zu formalen Methoden, und bietet praxisnahe Fallstudien sowie theoretische Einblicke.

Marke: Springer-Verlag GmbH
ISBN: 3319214004
MPN: biography
SKU: biography
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-4%

Gesponsert Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science)

52.94 EUR 54.99 EUR
18-09-2026 13:27:48
Access to the deal
-3%

Gesponsert Automated Deduction - CADE-25

53.49 EUR 54.99 EUR
17-09-2026 16:38:04
Access to the deal
-3%

Gesponsert Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty

53.49 EUR 54.99 EUR
17-09-2026 12:37:37
Access to the deal

Gesponsert Automated Deduction - CADE-25

54.99 EUR 54.99 EUR
18-09-2026 09:17:25
Access to the deal

Ähnliche Produkte

Automated Deduction ¿ CADE 26

85.04 EUR 87.99 EUR
Produkt anzeigen

Automated Deduction CADE 27

85.09 EUR 87.99 EUR
Produkt anzeigen

Automated Deduction -- CADE-24

53.49 EUR 54.99 EUR
Produkt anzeigen

Automated Deduction ¿ CADE-12

53.49 EUR 54.99 EUR
Produkt anzeigen