Um 04:00 Uhr findet das taegliche Datenbackup statt (Ausfallzeit ca. 20 Minuten). Bitte beenden Sie Ihre Arbeit vorher.
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.
Access to this course has been restricted.
Please login.
Login
Information about access
You do not have enough rights to start this resource.