Info zur Überschrift : Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme (auslaufend)
Hinweis : |
Dieses Modul gilt, aufgrund einer Änderungssatzung, nur noch für Studierende,die das Modul vor dem 01.10.2019 begonnen haben. |