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 ...
Artificial Intelligence
Wo zu kaufen (3) Eigenschaften
Gesponsert
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)
Medimops DE
52.94 EUR
Preis aktualisiert am: 06-11-2026 17:08:30
Siehe Produktangebot
Gesponsert
Logic for Programming Artificial Intelligence and Reasoning
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 08:46:46
Siehe Produktangebot
Gesponsert
Logic for Programming, Artificial Intelligence, and Reasoning
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 06-11-2026 06:28:40
Siehe Produktangebot

Allgemein

Marke
Martin Davis
ISBN
Martin Davis 3662488981

Eigenschaften

Ähnliche Produkte

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... Notes in Computer Science, 4790, Band 4790)
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, ... Notes in Computer Science, 4790, Band 4790)
Aus53.49 EUR 4
Produkt anzeigen
Logic for Programming Artificial Intelligence and Reasoning
Logic for Programming Artificial Intelligence and Reasoning
Aus53.49 EUR 4
Produkt anzeigen
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science, 2250, Band 2250)
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science, 2250, Band 2250)
Aus104.54 EUR 3
Produkt anzeigen
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514)
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514)
Aus53.14 EUR 3
Produkt anzeigen
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... Notes in Computer Science, 2850, Band 2850)
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... Notes in Computer Science, 2850, Band 2850)
Aus53.49 EUR 3
Produkt anzeigen
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Aus59.00 EUR 1
Produkt anzeigen
Menü