Russian Conference on Logic Programming /
Logic Programming and Automated Reasoning (RCLP/LPAR)

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX - 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 BibTeX - 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 BibTeX - 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 BibTeX - 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 BibTeX

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 BibTeX

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 BibTeX - 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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX

Russian Conference on Logic Programming / Logic Programming and Automated Reasoning (RCLP/LPAR)