Expressive klassische und nichtklassische Logiken und deren Automatisierung
Details siehe Evento-Eintrag
(19675)
| Typ | Seminar |
|---|---|
| Dozent/in | Christoph Benzmüller |
| Institution | AG Intelligente Systeme und Robotik |
| Raum | Arnimallee 7 SR140 (Hinterhaus) |
| Beginn | 18.10.2013 |
| Ende | 07.02.2014 |
| Zeit | Freitags 14-16 Uhr |