Seminar Theoretical Computer Science: "Automata for Description Logics" -- SoSe 2023
TU Dresden | Sommersemester 2023
Seminar Theoretical Computer Science: "Automata for Description Logics" -- SoSe 2023
This seminar covers recent topics from theoretical computer science and is held by Prof Franz Baader and PD Anni-Yasmin Turhan. In this semester we focus on approaches for realising reasoning in Description Logics by the use of automata.
Zugang zum Kurs gesperrt.
Bitte melden Sie sich an.
Login
Informationen zum Zugang
Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.