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)
Tauchen Sie ein in die LPAR‑20-Proceedings aus Suva, Fiji, wo Forscher Logik, Programmierung und KI verbinden, um neue Ansätze für formale Verifik ...
Gesponsert
Medimops DE
52.94 EUR
Preis aktualisiert am: 12-06-2026 06:42:15
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 23:52:25
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-06-2026 11:36:19
Allgemein
Marke
Martin Davis
ISBN
Martin Davis 3662488981
