Semantische Suche
Aus International Center for Computational Logic
Lehrveranstaltungen
- Research Seminar Logic and AI (SS 2023)
- Introduction to Existential Rules (SS 2023)
- Seminar Logic-Based Knowledge Representation (SS 2023)
- Introduction to Formal Concept Analysis (WS 2022)
- Finite and algorithmic model theory (22/23) (WS 2022)