Kolloquium
Vorträge an der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
zurück zur Liste aller Vorträge
Andreas Kovalski
Vergleich von Beweissystemen für Beschreibungslogiken
(Gastgeber: Prof. Dr. Jean Christoph Jung)
(Deutsch)
Bachelor-Einführungsvortrag – Lehrstuhl Logik in der Informatik
Montag,
28.04.2025,
16:15
–
16:45
Uhr
Raum OH12/3.031
