Summer Term 2022 Einführung in die Computationale Logik Instructors: Univ.-Prof. Dr. Stefan Walter Theodor Kramer Shortname: 08.079.565 Course No.: 08.079.565 Course Type: Vorlesung/Übung
Summer Term 2022 Einführung in die Computationale Logik Instructors: Univ.-Prof. Dr. Stefan Walter Theodor Kramer Shortname: 08.079.565 Course No.: 08.079.565 Course Type: Vorlesung/Übung