Lehrveranstaltungen
Zur übergeordneten Rubrik
703608
Automatisches Theorembeweisen (VO / 2h / 4 ECTS-AP)
Georg Moser
Georg Moser
703609
Automatisches Beweisen (PS / 1h / 2 ECTS-AP)
Vincent van Oostrom
Vincent van Oostrom
703607
Computationale Logik (VO / 2h / 4 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.