Übung Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme
Übung, Prof. Dr. Kreitz, 14-täglich Do. 10:00-12:00, 3.04.1.02, !! entfällt am 19.12. 2013 und am 30.01.2014 !!
| Was |
|
|---|---|
| Wann |
24.10.2013 von 10:00 bis 12:00 Every 2 weeks until 30.01.2014 |
| Wo | 3.04.1.02 |
| Termin übernehmen |
vCal
iCal
|
