Automata and Logic

From International Center for Computational Logic

Revision as of 14:13, 8 October 2018 by Stefan Borgwardt (talk | contribs) (Page created automatically by parser function on page Automata and Logic (WS2018))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

Automata and Logic

Course with SWS 4/2/0 (lecture/exercise/practical) in WS 2018

Lecturer

Anni-Yasmin Turhan

Tutor

Francesco Kriegel

SWS

4/2/0

Modules

Examination method

Oral exam

Information

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

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Automata_and_Logic_(WS2018)/en&oldid=26596"