| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computational Logic _ CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings | 978-3-54O-67797-O (3-54O-67797-6) | 2000 | John Lloyd · Veronica Dahl · Ulrich Furbach · Manfred Kerber · Kung-Kiu Lau · Catuscia Palamidessi · Luis M. Pereira |