Proseminar Anwendungen der Logik in der Informatik
From International Center for Computational Logic
Proseminar Anwendungen der Logik in der Informatik
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2022
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Term paper
- Seminar presentation