Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)

Wo zu kaufen Eigenschaften
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.
Gesponsert
PRODUKTE/PREISE IM WEB PRÜFEN
eBay
Angebote ansehen
Andre ikke-sponsorerede muligheder:
Automated Reasoning
pressbooks.ch
7.00 CHF
Preis aktualisiert am: 22-11-2025 08:33:20
Siehe Produktangebot

Allgemein

Marke
Stephane Demri
MPN
Stephane Demri 101 black & white illustrations, biograp
ISBN
Stephane Demri 3319085867

Eigenschaften

Ähnliche Produkte

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705), Band 1705)
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1705), Band 1705)
Produkt anzeigen
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698, Band 698)
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698, Band 698)
Produkt anzeigen
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624, Band 624)
Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings (Lecture Notes in Computer Science, 624, Band 624)
Produkt anzeigen
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Menü