Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings

MaRDI QIDQ1589868zbMATH OpenFDO

Authors

Publication date 13 December 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceLogicProceedingsProgrammingAutomated reasoningLPAR 2000Reunion Island (France)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15--19, 2007. Proceedings
• Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10--15, 2010. Proceedings
• Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
• Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings
• Logic programming and automated reasoning. 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings
• Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3--7, 2001. Proceedings.
• Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers
• Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings
• Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14--18, 2005. Proceedings.
• Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22--26, 2003. Proceedings

Cited in

(1)

• Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1589868)