Recomienda este artículo a tus amigos:
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science Andrei Voronkov
Precio
€ 49,99
Pedido desde almacén remoto
Entrega prevista 6 - 12 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science
Andrei Voronkov
This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.
408 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 29 de junio de 1993 |
| ISBN13 | 9783540569442 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 408 |
| Dimensiones | 155 × 233 × 21 mm · 576 g |
| Lengua | Alemán |
| Editor | Voronkov, Andrei |
Mas por Andrei Voronkov
Mostrar todo![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)
Ver todo de Andrei Voronkov ( Ej. Paperback Book y Hardcover Book )