Name: Automated Deduction - CADE-21
Brand: Frank Pfenning
SKU: ID13024240
Availability: InStock

Automated Deduction - CADE-21

53.49 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

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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

Medimops DE

53.49 EUR 53.49 EUR

11-06-2026 01:41:58

Access to the deal

Gesponsert Automated Deduction - CADE-21

SpringerLink DE

53.49 EUR 53.49 EUR

10-06-2026 10:55:17

Access to the deal

Gesponsert Automated Deduction - CADE-21, Fachbücher von Frank Pfenning

Galaxus.de

53.49 EUR 53.49 EUR

11-06-2026 00:43:19

Access to the deal

Automated Deduction - CADE-21

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

Gesponsert Automated Deduction - CADE-21

Gesponsert Automated Deduction - CADE-21, Fachbücher von Frank Pfenning

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Deduction - CADE-21

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

Gesponsert Automated Deduction - CADE-21

Gesponsert Automated Deduction - CADE-21, Fachbücher von Frank Pfenning

Ähnliche Produkte

Automated Deduction ¿ CADE 26

Automated Deduction - CADE-25

Automated Deduction -- CADE-24

Automated Deduction CADE 27