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