Um 04:00 Uhr findet das taegliche Datenbackup statt (Ausfallzeit ca. 20 Minuten). Bitte beenden Sie Ihre Arbeit vorher.

Automata and Logic

TU Dresden | Wintersemester 2023 / 2024 Automata and Logic

Lecturer: PD Dr. Anni-Yasmin Turhan

Tutor: Dr. Anton Claußnitzer

Zugang zum Kurs gesperrt. Bitte melden Sie sich an. Login

Informationen zum Zugang

Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.