Lehrveranstaltungen
Zur übergeordneten Rubrik
703352
VU Weiterführende Themen in Logik und Lernen A: Selected Topics in Term Rewriting (VU / 3h / 5 ECTS-AP)
Aart Middeldorp
Aart Middeldorp
Hinweis:
- Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
- Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.