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 ...
Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.
eBay
Andre ikke-sponsorerede muligheder:
pressbooks.ch
7.00 CHF
Preis aktualisiert am: 15-11-2025 08:20:15
Allgemein
Marke
Martin Davis
ISBN
Martin Davis 3662488981
