Automated Deduction ¿ CADE-22 | 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-22
product image
product image
product image
product image

Automated Deduction ¿ CADE-22

53.49 EUR 3% Off 54.99 EUR

Das Buch fasst die Beiträge der 22. internationalen Konferenz zur automatischen Deduktion zusammen, präsentiert innovative Algorithmen, neue logische Modelle und ihre Anwendungen in der formalen Verifikation.

Marke: Schmidt, Renate A.
ISBN: 3642029582
SKU: 9783642029585
MPN: biography
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-3%

Gesponsert Automated Deduction - CADE-22

53.49 EUR 54.99 EUR
17-09-2026 14:20:38
Access to the deal
-3%

Gesponsert Automated Deduction - CADE-22, Fachbücher von Renate A. Schmidt

53.49 EUR 54.99 EUR
17-09-2026 19:02:19
Access to the deal

Gesponsert Automated Deduction – CADE-22

54.99 EUR 54.99 EUR
18-09-2026 09:13:01
Access to the deal

Ähnliche Produkte

Automated Deduction ¿ CADE 26

85.04 EUR 87.99 EUR
Produkt anzeigen

Automated Deduction - CADE-25

52.94 EUR 54.99 EUR
Produkt anzeigen

Automated Deduction -- CADE-24

53.49 EUR 54.99 EUR
Produkt anzeigen

Automated Deduction in Geometry

53.49 EUR 54.99 EUR
Produkt anzeigen