| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... Notes in Computer Science , Band 2385) | 978-3-54O-43865-6 (3-54O-43865-3) | 2008 | Volker Sorge · Jacques Calmet · Laurent Henocque · Belaid Benhamou |