| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| 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-54O-OOO1O-5 (3-54O-OOO1O-O) | 2002 | Andrei Voronkov |