Term Rewriting Systems

From International Center for Computational Logic

Revision as of 11:05, 26 March 2018 by Stefan Borgwardt (talk | contribs) (Page created automatically by parser function on page Term Rewriting Systems (SS2018))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

Term Rewriting Systems

Course with SWS 4/2/0 (lecture/exercise/practical) in SS 2018

Lecturer

Franz Baader

Tutor

Francesco Kriegel

SWS

4/2/0

Modules

Examination method

Oral exam

Information

https://tu-dresden.de/ing/informatik/thi/lat/studium/lehrveranstaltungen/sommersemester-2018/term-rewriting-systems

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Term_Rewriting_Systems_(SS2018)/en&oldid=25425"