| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings | 978-3-540-42957-9 (3-540-42957-3) | 2001 | |
| Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Computer Science / Lecture Notes in Artific) | 978-3-540-00010-5 (3-540-00010-0) | 2002 | Matthias Baaz |
| Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... | 978-3-540-20101-4 (3-540-20101-7) | 2007 | Moshe Vardi |