Logic for Programming Artificial Intelligence and Reasoning

106.99 EUR 104.34 EUR 2% Off

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: