|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings 2002 Edition (Lecture Notes in Computer Science) | Voronkov, Andrei | Paperback | 3540439315 / 9783540439318 | 07/2002 | $52.24 |
| | Computer Science: Theory and Applications: Second International Symposium on Computer Science in Russia, Csr 2007, Ekaterinburg, Russia, September 3-7 2007 Edition (Lecture Notes in Computer Science) | Diekert, Volker | Paperback | 3540745092 / 9783540745099 | 08/2007 | $52.24 |
| | Logic for Programming and Automated Reasoning: 7th International Conference, Lpar 2000 Reunion Island, France, November 6-10, 2000 Proceedings 2000 Edition (Lecture Notes in Computer Science) | Parigot, Michel | Paperback | 3540412859 / 9783540412854 | 10/2000 | $52.24 |
| | Logic for Programming, Artificial Intelligence, and Reasoning (Lecture Notes in Artificial Intelligence) | Clarke, Edmund M. | Paperback | 3642175104 / 9783642175107 | 01/2011 | $52.24 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Pr 2003 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Vardi, Moshe | Paperback | 3540201017 / 9783540201014 | 09/2003 | $52.24 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, Lpar 2004, Montevideo, Uruguay, March 14-18, 2005, Proceed 2005 Edition | Baader, Franz | Paperback | 3540252363 / 9783540252368 | 03/2005 | $104.49 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Pro 2005 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Sutcliffe, Geoff | Paperback | 354030553X / 9783540305538 | 11/2005 | $104.49 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, Lpar 2006, Phnom Penh, Cambodia, November 13-17, 2006, P 2006 Edition (Lecture Notes in Computer Science) | Hermann, Miki | Paperback | 3540482814 / 9783540482819 | 10/2006 | $104.49 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Procee 2007 Edition (Lecture Notes in Artificial Intelligence) | Dershowitz, Nachum | Paperback | 3540755586 / 9783540755586 | 10/2007 | $52.24 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceeding 2008 Edition (Lecture Notes in Artificial Intelligence) | Cervesato, Iliano | Paperback | 3540894381 / 9783540894384 | 11/2008 | $104.49 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, Lpar-17, Yogyakarta, Indonesia, October 10-15, 2010, Pro (Lecture Notes in Computer Science) | Fermüller, Christian G. | Paperback | 364216241X / 9783642162411 | 09/2010 | $104.49 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin (Lecture Notes in Computer Science) | Bjørner, Nikolaj | Paperback | 3642287166 / 9783642287169 | 02/2012 | $52.24 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, Lpar-19, Stellenbosch, South Africa, December 14-19, 201 2013 Edition | McMillan, Ken | Paperback | 3642452205 / 9783642452208 | 12/2013 | $52.24 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings 2001 Edition (Lecture Notes in Computer Science) | Nieuwenhuis, Robert | Paperback | 3540429573 / 9783540429579 | 11/2001 | $104.49 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, Lpar 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedi 2002 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Baaz, Matthias | Paperback | 3540000100 / 9783540000105 | 10/2002 | $52.24 |
| | Logic Programming and Automated Reasoning: 4th International Conference, Lpar'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings 1993 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Voronkov, Andrei | Paperback | 3540569448 / 9783540569442 | 06/1993 | $52.24 |
| | Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science) | Ganzinger, Harald | Paperback | 3540664920 / 9783540664925 | 08/1999 | $52.24 |
| | Logic Programming and Automated Reasoning: International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings 1992 Edition (Lecture Notes in Computer Science / Lecture Notes in Artific) | Voronkov, Andrei | Paperback | 354055727X / 9783540557272 | 07/1992 | $52.24 |
| | Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Lo 1992 Edition (Lecture Notes in Computer Science) | Voronkov, Andrei | Paperback | 3540554602 / 9783540554608 | 05/1992 | $52.24 |
| | Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Psi 2015, in Memory of Helmut Veith, Kazan and Innopolis, 2016 Edition (Lecture Notes in Computer Science) | Mazzara, Manuel | Paperback | 3319415786 / 9783319415789 | 06/2016 | $52.24 |
| | Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, Psi 2017, Moscow, Russia, June 27-29, 2017, Revised Se 2018 Edition (Lecture Notes in Computer Science) | Petrenko, Alexander K. | Paperback | 3319743120 / 9783319743127 | 01/2018 | $52.24 |
| | Perspectives of System Informatics: 9th International Ershov Informatics Conference, Psi 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selec 2015 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Voronkov, Andrei | Paperback | 3662468220 / 9783662468227 | 04/2015 | $52.24 |
| | Perspectives of Systems Informatics (Lecture Notes in Computer Science) | Pnueli, Amir | Paperback | 3642114857 / 9783642114854 | 02/2010 | $52.24 |
| | Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Pap 2007 Edition (Lecture Notes in Computer Science) | Voronkov, Andrei | Paperback | 3540708804 / 9783540708803 | 02/2007 | $52.24 |
| | Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revis 2012 Edition (Lecture Notes in Computer Science / Information Systems and) | Clarke, Edmund | Paperback | 3642297080 / 9783642297083 | 05/2012 | $52.24 |
|
|
|