19675
Seminar
WiSe 13/14: Expressive Klassische und Nichtklassische Logiken und deren Automatisierung
Christoph Benzmüller
Comments
siehe provisorische Webseite
16 Class schedule
Additional appointments
Fri, 2013-10-11 14:00 - 16:00Vorbesprechung zum Seminar
Regular appointments
Fri, 2013-10-18 14:00 - 16:00
Fri, 2013-10-25 14:00 - 16:00
Fri, 2013-11-01 14:00 - 16:00
Fri, 2013-11-08 14:00 - 16:00
Fri, 2013-11-15 14:00 - 16:00
Fri, 2013-11-22 14:00 - 16:00
Fri, 2013-11-29 14:00 - 16:00
Fri, 2013-12-06 14:00 - 16:00
Fri, 2013-12-13 14:00 - 16:00
Fri, 2013-12-20 14:00 - 16:00
Fri, 2014-01-10 14:00 - 16:00
Fri, 2014-01-17 14:00 - 16:00
Fri, 2014-01-24 14:00 - 16:00
Fri, 2014-01-31 14:00 - 16:00
Fri, 2014-02-07 14:00 - 16:00
Fri, 2014-02-14 14:00 - 16:00