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 9% Off 59.00 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
-9%

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

53.49 EUR 59.00 EUR
26-07-2026 04:40:49
Access to the deal
-9%

Gesponsert Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture ... (Lecture Notes in Computer Science)

53.49 EUR 59.00 EUR
26-07-2026 11:53:17
Access to the deal

Gesponsert Automated Deduction – CADE-22

59.00 EUR 59.00 EUR
26-07-2026 08:07:20
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

52.84 EUR 54.99 EUR
Produkt anzeigen

Automated Deduction in Geometry

53.49 EUR 54.99 EUR
Produkt anzeigen