Formale Systeme, Wintersemester 2022/2023
TU Dresden | Wintersemester 2022 / 2023
Formale Systeme, Wintersemester 2022/2023
Lehrveranstaltung der TU Dresden, Fakultät für Informatik, Institut für Theoretische Informatik, Lehrstuhl für Automatentheorie
Dozent: Prof. Dr. Franz Baader
Kursassistent: Dr. Anton Claußnitzer
Die Kursmaterialien sind erst nach Einschreibung sichtbar.
Zugang zum Kurs gesperrt.
Bitte melden Sie sich an.
Login
Informationen zum Zugang
Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.