Russian Conference on Logic Programming /
Logic Programming and Automated Reasoning (RCLP/LPAR)
www.lpar.net
16. LPAR 2009: Tashkent, Uzbekistan
15. LPAR 2008: Doha, Qatar
Iliano Cervesato, Helmut Veith, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings.
Lecture Notes in Computer Science 5330 Springer 2008, ISBN 978-3-540-89438-4
Contents 
Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.):
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008.
CEUR Workshop Proceedings 418 CEUR-WS.org 2008
Contents
14. LPAR 2007: Yerevan, Armenia
Nachum Dershowitz, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings.
Lecture Notes in Computer Science 4790 Springer 2007, ISBN 978-3-540-75558-6
Contents
13. LPAR 2006: Phnom Penh, Cambodia
Miki Hermann, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings.
Lecture Notes in Computer Science 4246 Springer 2006, ISBN 3-540-48281-4
Contents
- LPAR 2006 Home P
age
12. LPAR 2005: Montego Bay, Jamaica
Geoff Sutcliffe, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings.
Lecture Notes in Computer Science 3835 Springer 2005, ISBN 3-540-30553-X
Contents
- LPAR 2005 Home Page
11. LPAR 2004: Montevideo, Uruguay
Franz Baader, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings.
Lecture Notes in Computer Science 3452 Springer 2005, ISBN 3-540-25236-3
Contents
- LPAR 2004 Home Page
10. LPAR 2003: Almaty, Kazakhstan
Moshe Y. Vardi, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings.
Lecture Notes in Computer Science 2850 Springer 2003, ISBN 3-540-20101-7
Contents
- LPAR 2003 Home Page
9. LPAR 2002: Tbilisi, Georgia
Matthias Baaz, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings.
Lecture Notes in Computer Science 2514 Springer 2002, ISBN 3-540-00010-0
Contents
8. LPAR 2001: Havana, Cuba
Robert Nieuwenhuis, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings.
Lecture Notes in Computer Science 2250 Springer 2001, ISBN 3-540-42957-3
Contents
7. LPAR 2000: Reunion Island, France
Michel Parigot, Andrei Voronkov (Eds.):
Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings.
Lecture Notes in Computer Science 1955 Springer 2000
Contents
- LPAR 2000 Home Page
6. LPAR 1999: Tbilisi, Republic of Georgia
Harald Ganzinger, David A. McAllester, Andrei Voronkov (Eds.):
Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings.
Lecture Notes in Computer Science 1705 Springer 1999, ISBN 3-540-66492-0
Contents
5. LPAR 1994: Kiev, Ukraine
Frank Pfenning (Ed.):
Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings.
Lecture Notes in Computer Science 822 Springer 1994, 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.
Lecture Notes in Computer Science 698 Springer 1993, 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.
Lecture Notes in Computer Science 624 Springer 1992, 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.
Lecture Notes in Computer Science 592 Springer 1992, ISBN 3-540-55460-2
Contents
Copyright © Fri Mar 12 17:18:21 2010
by Michael Ley (ley@uni-trier.de)
