Taegliches Backup- und Wartungsfenster (04:00-05:00 Uhr): eingeschraenkte OPAL-Verfuegbarkeit.

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.