Termine
- Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme (3.04.1.02, von 20.10.2016 10:15 bis 20.10.2016 11:45)
- Vorlesung/Übung, Prof. Dr. Kreitz, Do. 10:15-11:45, 3.04.1.02
- Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme (3.04.1.02, von 19.10.2016 10:15 bis 19.10.2016 11:45)
- Vorlesung, Prof. Dr. Kreitz, Do 8:40-10:10, 3.04.1.02 (ab 3.11.2016)