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.