Vorlesungsverzeichnis

Modul / Veranstaltung
Modulverantwortlich / Dozent:innen
Zeitraum 		Veranstaltungsart Startsemester
M1101-CMS70 Foundations of Logical Modeling
N.N. 		WiSe 2020/21
K1101-MA0049T Tutorial Logic Programming Engineering (T)
K1101-MA0049T Tutorial Logic Programming Engineering (T)
Prof. Dr. rer. nat. Christine Baier; Dr.-Ing. Sascha Klüppelholz
Do, 29. Okt. 2020 [09:20] - Do, 4. Feb. 2021 [10:50] 		Tutorium
K1107-MA0048V Foundations of Logic Programming (V)
K1107-MA0048V Foundations of Logic Programming (V)
Prof. Dr. rer. nat. Sebastian Rudolph
Mo, 2. Nov. 2020 [16:40] - Mo, 1. Feb. 2021 [18:10] 		Vorlesung
K1107-MA0057V Foundations of Knowledge Representation (V)
K1107-MA0057V Foundations of Knowledge Representation (V)
Prof. Dr. rer. nat. Sebastian Rudolph
Mo, 2. Nov. 2020 [14:50] - Mo, 1. Feb. 2021 [16:20] 		Vorlesung
K1107-MA0057Ü Foundations of Knowledge Representation (Ü)
K1107-MA0057Ü Foundations of Knowledge Representation (Ü)
Prof. Dr. rer. nat. Sebastian Rudolph
Do, 29. Okt. 2020 [07:30] - Do, 4. Feb. 2021 [09:00] 		Übung