Semantische Suche
Aus International Center for Computational Logic
Lehrveranstaltungen
- Seminar Theoretical Computer Science (WS 2022)
- Proseminar "Perlen der theoretischen Informatik" (WS 2022)
- Einführung in die (theoretische) Informatik (SS 2022)
- Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" (SS 2022)
- Proseminar "Perlen der theoretischen Informatik" (SS 2022)