29.03.2023 –, OH14 / Hörsaal E23
Prof. Jung vom LS1 gibt einen Einblick in die Anwendung von Logik
Professor Jung forscht am Lehrstuhl 1 zur Logik in der Informatik und hält (unter anderem) in diesem Semester das Bachelor-Wahlmodul „Darstellung, Verarbeitung und Erwerb von Wissen“