Term Rewriting Systems (WS2022): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
(Die Seite wurde neu angelegt: „{{Vorlesung |Title=Term Rewriting Systems |Research group=Automatentheorie |Lecturers=Franz Baader |Tutors=Stefan Borgwardt |Term=WS |Year=2022 |Module=CMS‑L…“) |
Keine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
|Tutors=Stefan Borgwardt | |Tutors=Stefan Borgwardt | ||
|Term=WS | |Term=WS | ||
|Year= | |Year=2021 | ||
|Module=CMS‑LM‑ADV, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL | |Module=CMS‑LM‑ADV, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL | ||
|SWSLecture=4 | |SWSLecture=4 | ||
Aktuelle Version vom 27. April 2022, 16:37 Uhr
Term Rewriting Systems
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2021
Dozent
Tutor
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
