| 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, ... | 978-3-540-43865-6 (3-540-43865-3) | 2002 | Jacques Calmet · Belaid Benhamou · Olga Caprotti · Laurent Henocque |
V. S. · Volker Schurig · Volker Schwarz · Volker Skierka · Volker Skwarek