Logic for Programming Artificial Intelligence and Reasoning
Der Band aus der LPAR‑16-Konferenz in Dakar fasst aktuelle Forschung zu logischer Programmierung, KI und Argumentation zusammen; er beleuchtet theoretische Grundlagen, neue Algorithmen und praktische Anwendungen in einem klaren, akademischen Stil.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
Galaxus.de
Logic for Programming, Artificial Intelligence, and Reasoning, Fachbücher von Edmund M. Clarke, Andrei Voronkov
Galaxus.de
25-07-2026 19:32:16
Gesponsert
SpringerLink DE
Logic for Programming, Artificial Intelligence, and Reasoning
SpringerLink DE
25-07-2026 20:40:56
