Nächstes Semester Einführung in die Computationale Logik Dozent:innen: Univ.-Prof. Dr. Stefan Walter Theodor Kramer Kurzname: 08.079.565 Kurs-Nr.: 08.079.565 Kurstyp: Vorlesung/Übung
Nächstes Semester Einführung in die Computationale Logik Dozent:innen: Univ.-Prof. Dr. Stefan Walter Theodor Kramer Kurzname: 08.079.565 Kurs-Nr.: 08.079.565 Kurstyp: Vorlesung/Übung