| 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 · Laurent Henocque · Olga Caprotti |
V. S. · Volker Schurig · Volker Schwarz · Volker Seresse · Volker Skierka · Volker Skwarek