19675
Seminar
WiSe 13/14: Expressive Klassische und Nichtklassische Logiken und deren Automatisierung
Christoph Benzmüller
Kommentar
siehe provisorische Webseite
16 Termine
Zusätzliche Termine
Fr, 11.10.2013 14:00 - 16:00Vorbesprechung zum Seminar
Regelmäßige Termine der Lehrveranstaltung
Fr, 18.10.2013 14:00 - 16:00
Fr, 25.10.2013 14:00 - 16:00
Fr, 01.11.2013 14:00 - 16:00
Fr, 08.11.2013 14:00 - 16:00
Fr, 15.11.2013 14:00 - 16:00
Fr, 22.11.2013 14:00 - 16:00
Fr, 29.11.2013 14:00 - 16:00
Fr, 06.12.2013 14:00 - 16:00
Fr, 13.12.2013 14:00 - 16:00
Fr, 20.12.2013 14:00 - 16:00
Fr, 10.01.2014 14:00 - 16:00
Fr, 17.01.2014 14:00 - 16:00
Fr, 24.01.2014 14:00 - 16:00
Fr, 31.01.2014 14:00 - 16:00
Fr, 07.02.2014 14:00 - 16:00
Fr, 14.02.2014 14:00 - 16:00