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