Automata and Logic

Aus International Center for Computational Logic

Version vom 8. Oktober 2018, 14:13 Uhr von Stefan Borgwardt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Automata and Logic |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; |Tutors=Francesco Kriegel; |Term=WS |Year=2018 |Module=…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

Automata and Logic

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2018

Dozent

Anni-Yasmin Turhan

Tutor

Francesco Kriegel

Umfang (SWS)

4/2/0

Module

Leistungskontrolle

Mündliche Prüfung

Information

See https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/wintersemester-2018-2019/automata-and-logic

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Automata_and_Logic_(WS2018)&oldid=26595“

Vorlesung