Keywords: Seminar
2017
[12]WYSIWYG-Editor for Higher Order Logic (Projektseminar) (Christoph Benzmüller), Freie Universität Berlin, 2017. (kvv)
[11]KI-gestützte Pflege einer internationalen Schuldatenbank (Christoph Benzmüller), Freie Universität Berlin, 2017. (kvv) (Softwareprojekt, Winter 2017/18, 2 SWS)
[10]Intelligente Lehr- und Lernsysteme (Christoph Benzmüller, Carsten Ullrich (DFKI)), Freie Universität Berlin, 2017. (kvv, Slides and Reports) (Pro-/Seminar, Winter 2017/18, 2+2 SWS, 5 ECTS)
2015
[9]Logik (Christoph Benzmüller (with A. Steen, M. Wisnieswki)), Freie Universität Berlin, 2015. (course website) (Summer 2015, Proseminar, 2 SWS, 5 ECTS)
2014
[8]Expressive Klassische und Nichtklassische Logiken und deren Automatisierung (Christoph Benzmüller), Freie Universität Berlin, 2014. (kvv; webpage) (Winter 2013/14, 2+2 SWS, 5 ECTS)
2013
[7]Technologien für Frage-Antwort-Systeme (Raúl Rojas, Christoph Benzmüller, Marco Block-Berlitz), Freie Universität Berlin, 2013. (kvv; webpage) (Winter 2012/13, 2 SWS, 4 ECTS)
2007
[6]Fortgeschrittenenpraktikum Deduktionssysteme (Serge Autexier, Christoph Benzmüller, Jörg Siekmann), Saarland University, 2007. (I held the Fortgeschrittenenpraktikum regularly 2004--2007)
[5]Oberseminar AG Siekmann (Serge Autexier, Christoph Benzmüller, Jörg Siekmann), Saarland University, 2007. (I held the Oberseminar regularly 2004--2007)
2006
[4]Mathematical Assistant Systems Shootout (Serge Autexier, Christoph Benzmüller, Chad Brown), Saarland University, 2006. (Summer 2006)
2005
[3]Mathematical Assistant Systems Shootout (Serge Autexier, Christoph Benzmüller, Chad Brown, Armin Fiedler, Claus-Peter Wirth), Saarland University, 2005. (Summer 2005)
2003
[2]Fortgeschrittenenpraktikum Deduktionssysteme (Christoph Benzmüller, Jörg Siekmann), Saarland University, 2003. (I held the Fortgeschrittenenpraktikum regularly 2001--2003)
[1]Oberseminar AG Siekmann (Christoph Benzmüller, Jörg Siekmann), Saarland University, 2003. (I held the course regularly 2001--2003)
Powered by bibtexbrowser