Wintersemester 09/10
- Informatik III, Prof. Dr. B. Möller
Termin: Di. 14:00 - 15:30 u. Do. 14:00 - 15:30- Seminar über Grundlagen des automatischen Beweisens, Prof. Dr. Bernhard Möller, Dr. Peter Höfner
Termin: Di. 15:45-17:15- Diskrete Strukturen für Informatiker, Prof. Dr. G. Wirsching
Termin: Mo. 12:15 - 13:45 u. Mi. 10:00 - 11:30

