Russian Conference on Logic Programming /
Logic Programming and Automated Reasoning (RCLP/LPAR)
18. LPAR 2012: Mérida, Venezuela
Nikolaj Bjørner, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7180 ISBN 978-3-642-28716-9 [ contents ]
17. LPAR 2010: Yogyakarta, Indonesia
- Christian G. Fermüller, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6397 ISBN 978-3-642-16241-1 [ contents ]
16. LPAR 2010: Dakar, Senegal
- 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 ]
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. Springer 2008 Lecture Notes in Computer Science 5330 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-WS.org 2008 CEUR Workshop Proceedings 418 [ 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. Springer 2007 Lecture Notes in Computer Science 4790 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. Springer 2006 Lecture Notes in Computer Science 4246 ISBN 3-540-48281-4 [ contents ]
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. Springer 2005 Lecture Notes in Computer Science 3835 ISBN 3-540-30553-X [ contents ]
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. Springer 2005 Lecture Notes in Computer Science 3452 ISBN 3-540-25236-3 [ contents ]
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. Springer 2003 Lecture Notes in Computer Science 2850 ISBN 3-540-20101-7 [ contents ]
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. Springer 2002 Lecture Notes in Computer Science 2514 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. Springer 2001 Lecture Notes in Computer Science 2250 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. Springer 2000 Lecture Notes in Computer Science 1955 [ contents ]
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. Springer 1999 Lecture Notes in Computer Science 1705 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. 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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team