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-21
product image
product image

Automated Deduction - CADE-21

53.49 EUR 3% Off 54.99 EUR

Die CADE‑21 Proceedings aus Bremen zeigen praxisnahe Algorithmen zur automatisierten Deduktion, verbinden formale Logik mit KI-Anwendungen und bieten Forschern einen kompakten Überblick über aktuelle Entwicklungen.

Marke: Frank Pfenning
ISBN: 9783540735946
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-21, Fachbücher von Frank Pfenning

53.49 EUR 54.99 EUR
26-07-2026 04:40:42
Access to the deal
-3%

Gesponsert Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)

53.49 EUR 54.99 EUR
26-07-2026 11:38:58
Access to the deal

Gesponsert Automated Deduction - CADE-21

54.99 EUR 54.99 EUR
27-07-2026 10:08:40
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 CADE 27

85.09 EUR 87.99 EUR
Produkt anzeigen