Name: Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science)
Brand: Martin Davis
SKU: ID13651680
Availability: InStock

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science)

53.49 EUR

Entdecken Sie die Schlüsselergebnisse der LPAR‑20-Konferenz in Suva: Beiträge zu logischer Programmierung, KI und formaler Argumentation, die neue Techniken für automatisierte Beweisführung und Modellprüfung vorstellen.