Proseminar Anwendungen der Logik in der Informatik
Aus International Center for Computational Logic
Proseminar Anwendungen der Logik in der Informatik
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2022
Dozent
Umfang (SWS)
- 0/2/0
Module
Leistungskontrolle
- Hausarbeit
- Referat