Gesellschaft für Informatik
Fachgruppe Deduktionssysteme
Die Fachgruppe unterhält einen vom Fachgruppensprecher moderierten Email-Verteiler, über den Fragen der Deduktion diskutiert werden können. Zur Weiterleitung an die Fachgruppe bitte Email an Peter Baumgartner,
Mitgliedschaft oder Löschung aus diesem Verteiler erreicht man durch eine informelle email ebenfalls an:
Wer bereits vor dem 9.10.1995 auf dem (alten) Verteiler war, wurde automatisch übernommen. Weiterhin ist intendiert, dass neue Teilnehmer an Deduktionstreffen in den Verteiler aufgenommen werden.
Wolfgang Reif (reif@informatik.uni-ulm.de), März 1997
Reinhold Letz (letz@informatik.tu-muenchen.de), September 1999, Juni 2003
Peter Baumgartner (baumgart@mpi-sb.mpg.de), Juli 2004
Zur Einstiegsseite der GI