Vorlesung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Vorlesung, Prof. Dr. Kreitz, Fr. 12:15-13:45, 3.04.1.02 !! entfällt am 1.11.2013, am 20.12.2013 und am 31.01.2014 !!
| Was |
|
|---|---|
| Wann |
18.10.2013 von 12:15 bis 13:45 Every week until 07.02.2014 |
| Wo | 3.04.1.02 |
| Termin übernehmen |
vCal
iCal
|
