Edmund M. Clarke, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers. Springer 2010 Lecture Notes in Computer Science 6355 ISBN 978-3-642-17510-7 [ contents ]
Franz Baader, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3452 ISBN 3-540-25236-3 [ contents ]
Frank Pfenning (Ed.): Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science 822 ISBN 3-540-58216-9 [ contents ]
4. LPAR 1993: St. Petersburg, Russia
Andrei Voronkov (Ed.): Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings. Springer 1993 Lecture Notes in Computer Science 698 ISBN 3-540-56944-8 [ contents ]
3. LPAR 1992: St. Petersburg, Russia
Andrei Voronkov (Ed.): Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Springer 1992 Lecture Notes in Computer Science 624 ISBN 3-540-55727-X [ contents ]
1. RCLP 1990: Irkutsk, Russia 2. RCLP 1991: St. Petersburg, Russia
Andrei Voronkov (Ed.): 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. Springer 1992 Lecture Notes in Computer Science 592 ISBN 3-540-55460-2 [ contents ]