Wintersemester 06/07
-
Logik für Informatiker 2006/07
Prof. Dr. Bernhard Möller
Termin: Montag 14:00 Uhr - 15:30 Uhr (Erste Vorlesung am 16. Oktober) -
Seminar über Modale und Temporale Logiken
Prof. Dr. Bernhard Möller
Termin: Di. 14:00-1530

