Angemeldete Teilnehmer für das
Deduktionstreffen 1998

Bisher angemeldet haben sich:

Zurück zur Hauptseite

Gernot Stenz (mail: stenzg@in.tum.de), Research Group Automated Reasoning, TU München, Germany