Kolloquium
Vorträge an der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
zurück zur Liste aller Vorträge
Jason Ball
Gastgeber: Prof. Dr. Jean Christoph Jung
Separierung von Beispielen durch konjunktive Anfragen beschränkter Größe
(Deutsch)
Bachelor-Abschlussvortrag – Lehrstuhl Logik in der Informatik
Montag,
14.04.2025,
16:15
–
16:45
Uhr
Raum OH12/3.031
