Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Termine zur Vorlesung Reduktionssysteme im Sommersemester 2002

Die Termine und Räume der Vorlesung sind:
- Dienstags, 10:00-11:30, 46-110
- Donnerstags, 8:15-9:45, 46-110
Die erste Vorlesung findet am 16.04.2002 statt.
Die Termine und Räume der Übungsgruppen sind:
- Gruppe 1: Montags, 10:00-11:30, 32-439
- Gruppe 2: Dienstags, 13:45-15:15, 32-439
Der Übungsbetrieb beginnt am 23.04.2002.

Letzte Änderung: Wednesday, 26-Oct-05 08:59:17 GMT
www-aven@informatik.uni-kl.de