Term Rewriting Systems
Aus International Center for Computational Logic
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