Lehrveranstaltungen Einführung in die Computationale Logik Dozent:innen: Univ.-Prof. Dr. Stefan Kramer Kurzname: 08.079.565 Kurs-Nr.: 08.079.565 Kurstyp: Vorlesung/Übung
Lehrveranstaltungen Einführung in die Computationale Logik Dozent:innen: Univ.-Prof. Dr. Stefan Kramer Kurzname: 08.079.565 Kurs-Nr.: 08.079.565 Kurstyp: Vorlesung/Übung