SucheWintersemester 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