Kolloquium
Vorträge an der Fakultät für Informatik
Bachelor-, Master und Doktorandenseminare
zurück zur Liste aller Vorträge
Christian Erdmann
Funktionalsprachlicher Ansatz zur Formulierung und Verifikation von Datenbankschemata, -instanzen bzw. -constraints mit Expander3
Bachelor-Einführungsvortrag – Lehrstuhl Logik in der Informatik – Arbeitsgruppe Functional-Logic Development & Implementation Techniques
Montag,
20.09.2021,
16:15
–
17:00
Uhr
(geplant)
Raum N.N.