Dahlem Center for Machine Learning and Robotics

Logik erster Stufe in Theorie und Praxis

Details siehe Evento-Eintrag zur Vorlesung und Übung

Typ	VL/Ü
Dozent/in	Christoph Benzmüller
Institution	AG Intelligente Systeme und Robotik
Anmeldemodalität	Module zu dieser Lehrveranstaltung
Beginn	18.10.2013
Ende	14.02.2014
Zeit	Vorlesung: Freitags 12-14 Uhr; Übung: Freitags 8-10 Uhr (SR 140, A7)