Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Logic for Programming, Artificial Intelligence, and Reasoning
12 Angebote vergleichen
Preise | Dez. 16 | Feb. 19 | Aug. 19 |
---|---|---|---|
Schnitt | € 101,29 | € 89,72 | € 93,58 |
Nachfrage |
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Lecture Notes in Computer Science) (2008)
ISBN: 9783540894384 bzw. 3540894381, vermutlich in Englisch, Springer, gebraucht.
Von Händler/Antiquariat, Phatpocket Limited.
Springer. Used - Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Ships from UK in 48 hours or less (usually same day). Your purchase helps support the African Children's Educational Trust (A-CET). 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in Africa the vital chance to get an education. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783540894384 bzw. 3540894381, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu.
This volume contains the papers presented at the 15th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR) held November22 27inDoha, QataronthepremisesoftheQatarcampusofCarnegie Mellon University. In its 15th edition, LPAR looked back at a rich history. The conference evolved out of the First and Second Russian Conferences on Logic Progr- ming, held in Irkutsk, in 1990, and aboard the ship Michail Lomonosov in 1991. The idea of organizing the conference came largely from Robert Kowalski, who also proposed the creation of the Russian Association for Logic Progr- ming. In 1992, it was decided to extend the scope of the conference. Due to considerableinterestinautomatedreasoningintheformerSovietUnion, thec- ference was renamed Logic Programming and Automated Reasoning (LPAR). Under this name three meetings were held during 1992 1994: again on board the ship Michail Lomonosov (1992), in St. Petersburg, Russia (1993), and on board the ship Marshal Koshevoi (1994). In 1999, the conference was held in Tbilisi, Georgia. At the suggestion of Michel Parigot, the conference changed its nameagaintoLogicforProgrammingandAutomatedReasoning(preservingthe acronym LPAR!) re?ecting an interest in additional areas of logic. LPAR 2000 was held on Reunion Island, France. In 2001, the name (but not the acronym) changed again to its current form. The 8th to the 14th meetings were held in the following locations: Havana, Cuba (2001) Tbilisi, Georgia (2002); Almaty, Kazakhstan(2003);Montevideo, Uruguay(2004);MontegoBay, Jamaica(2005); Phnom Penh, Cambodia (2006); and Yerevan, Armenia (2007).
Logic for Programming, Artificial Intelligence, and Reasoning (2008)
ISBN: 9783540894384 bzw. 3540894381, in Deutsch, Springer-Verlag Gmbh Nov 2008, Taschenbuch, neu.
Neuware - This volume contains the papers presented at the 15th International Conference on Logic for Programming, Arti cial Intelligence, and Reasoning (LPAR) held November22 27inDoha,QataronthepremisesoftheQatarcampusofCarnegie Mellon University. In its 15th edition, LPAR looked back at a rich history. The conference evolved out of the First and Second Russian Conferences on Logic Progr- ming, held in Irkutsk, in 1990, and aboard the ship Michail Lomonosov in 1991. The idea of organizing the conference came largely from Robert Kowalski, who also proposed the creation of the Russian Association for Logic Progr- ming. In 1992, it was decided to extend the scope of the conference. Due to considerableinterestinautomatedreasoningintheformerSovietUnion,thec- ference was renamed Logic Programming and Automated Reasoning (LPAR). Under this name three meetings were held during 1992 1994: again on board the ship Michail Lomonosov (1992), in St. Petersburg, Russia (1993), and on board the ship Marshal Koshevoi (1994). In 1999, the conference was held in Tbilisi, Georgia. At the suggestion of Michel Parigot,the conference changed its nameagaintoLogicforProgrammingandAutomatedReasoning(preservingthe acronym LPAR!) re ecting an interest in additional areas of logic. LPAR 2000 was held on Reunion Island, France. In 2001, the name (but not the acronym) changed again to its current form. The 8th to the 14th meetings were held in the following locations: Havana, Cuba (2001) Tbilisi, Georgia (2002); Almaty, Kazakhstan(2003);Montevideo,Uruguay(2004);MontegoBay,Jamaica(2005); Phnom Penh, Cambodia (2006); and Yerevan, Armenia (2007). 714 pp. Englisch.
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783540894384 bzw. 3540894381, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Rheinberg-Buch, [3813847].
Neuware - This volume contains the papers presented at the 15th International Conference on Logic for Programming, Arti cial Intelligence, and Reasoning (LPAR) held November22 27inDoha,QataronthepremisesoftheQatarcampusofCarnegie Mellon University. In its 15th edition, LPAR looked back at a rich history. The conference evolved out of the First and Second Russian Conferences on Logic Progr- ming, held in Irkutsk, in 1990, and aboard the ship Michail Lomonosov in 1991. The idea of organizing the conference came largely from Robert Kowalski, who also proposed the creation of the Russian Association for Logic Progr- ming. In 1992, it was decided to extend the scope of the conference. Due to considerableinterestinautomatedreasoningintheformerSovietUnion,thec- ference was renamed Logic Programming and Automated Reasoning (LPAR). Under this name three meetings were held during 1992 1994: again on board the ship Michail Lomonosov (1992), in St. Petersburg, Russia (1993), and on board the ship Marshal Koshevoi (1994). In 1999, the conference was held in Tbilisi, Georgia. At the suggestion of Michel Parigot,the conference changed its nameagaintoLogicforProgrammingandAutomatedReasoning(preservingthe acronym LPAR!) re ecting an interest in additional areas of logic. LPAR 2000 was held on Reunion Island, France. In 2001, the name (but not the acronym) changed again to its current form. The 8th to the 14th meetings were held in the following locations: Havana, Cuba (2001) Tbilisi, Georgia (2002) Almaty, Kazakhstan(2003)Montevideo,Uruguay(2004)MontegoBay,Jamaica(2005) Phnom Penh, Cambodia (2006) and Yerevan, Armenia (2007). Taschenbuch.
Logic for Programming, Artificial Intelligence, and Reasoning (2008)
ISBN: 9783540894391 bzw. 354089439X, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics. eBook.
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783540894384 bzw. 3540894381, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Buchhandlung Kühn GmbH, [4368407].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Logic for Programming, Artificial Intelligence, and Reasoning - 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (2008)
ISBN: 9783540894391 bzw. 354089439X, vermutlich in Englisch, Springer Berlin, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Logic for Programming, Artificial Intelligence, and Reasoning (2008)
ISBN: 9783540894391 bzw. 354089439X, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Logic for Programming, Artificial Intelligence, and Reasoning (2008)
ISBN: 9783540894391 bzw. 354089439X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Logic for Programming, Artificial Intelligence, and Reasoning
ISBN: 9783540894391 bzw. 354089439X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen