Artificial Intelligence, Automated Reasoning, and Symbolic Computation
53.49 EUR
Ein Fachband aus den AISC‑2002‑ und Calculemus‑Konferenzen in Marseille, der aktuelle Forschung zu künstlicher Intelligenz, automatischem Beweisführungssystemen und symbolischer Mathematik präsentiert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
SpringerLink DE
22-04-2026 22:03:57
