Summer Term 2021 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 Format: online
Summer Term 2021 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 Format: online