Logic for Programming Artificial Intelligence and Reasoning
Der Band fasst die Ergebnisse der achten LPAR-Konferenz in Havanna zusammen, beleuchtet aktuelle Fortschritte in Logik, Programmierung und künstlicher Intelligenz und bietet praxisnahe Einblicke in formale Modelle, automatisierte Beweisführung sowie intelligente Systeme.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
preigu.de
Logic for Programming, Artificial Intelligence, and Reasoning
preigu.de
27-07-2026 15:21:13
Medimops DE
Gesponsert
SpringerLink DE
Logic for Programming, Artificial Intelligence, and Reasoning
SpringerLink DE
28-07-2026 20:06:40
