Unification in Modal and Description Logics
Aus International Center for Computational Logic
Unification in Modal and Description Logics
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2022
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
- CMS‑LM‑ADV
- CMS‑LM‑AI
- CMS‑LM‑MOC
- INF‑B‑510
- INF‑B‑520
- INF‑BAS2
- INF‑BAS6
- INF‑PM‑FOR
- INF‑VERT2
- INF‑VERT6
- MCL‑AI
- MCL‑KR
- MCL‑PI
- MCL‑TCSL
Leistungskontrolle
- Mündliche Prüfung
