Tell your friends about this item:
Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - Proceedings - Lecture Notes in Computer Science
Andrei Voronkov
Price
S$ 75.60
Ordered from remote warehouse
Expected delivery Jul 24 - Aug 1
Our customers say:
Add to your iMusic wish list
Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - Proceedings - Lecture Notes in Computer Science
Andrei Voronkov
Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.
516 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 1, 1992 |
| ISBN13 | 9783540557272 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 516 |
| Dimensions | 155 × 233 × 27 mm · 734 g |
| Language | German |
| Editor | Voronkov, Andrei |
Show all
More by Andrei Voronkov
![Cover for Andrei Voronkov · Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/227/9783662468227.jpg?andrei-voronkov-2015-perspectives-of-system-informatics-9th-international-ershov-informatics-conference-psi-2014-st-petersburg-russia-june-24-27-2014-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1573875263)
![Cover for Andrei Voronkov · Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/504/9783642376504.jpg?andrei-voronkov-2013-programming-logics-essays-in-memory-of-harald-ganzinger-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1483819467)
![Cover for Andrei Voronkov · Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/888/9783540705888.jpg?andrei-voronkov-2008-rewriting-techniques-and-applications-19th-international-conference-rta-2008-hagenberg-austria-july-15-17-2008-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1573875274)
![Cover for Andrei Voronkov · Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/608/9783540554608.jpg?andrei-voronkov-1992-logic-programming-first-russian-conference-on-logic-programming-irkutsk-russia-september-14-18-1990-second-russian-conference-on-logic-programming-st-petersburg-russia-september-11-16-1991-proceedings-lecture-notes-in-artificial-intell&class=scaled&v=1573875266)
See all of Andrei Voronkov ( e.g. Paperback Book and Hardcover Book )