Term Rewriting Systems
Aus International Center for Computational Logic
Term Rewriting Systems
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2016
Dozent
Tutor
Umfang (SWS)
- 4/2/0
Module
- INF-B-510
- INF-B-520
- INF-BAS6
- INF-VERT6
- MCL-TCSL
- MCL-PI
- EMCL-A-TCSL
- EMCL-A-PI
- Theorie der Programmierung Fachgebiet Theorie der Programmierung
- Intelligente Systeme Fachgebiet Intelligente Systeme
Leistungskontrolle
- Mündliche Prüfung