Items where Author is "Kreitz, Christoph"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Paper in Conference Proceedings or in Workshop Proceedings
Number of items: 4.

Paper in Conference Proceedings or in Workshop Proceedings

  • Theorem Provers as a Learning Tool in Theory of Computation
    Knobelsdorf, Maria and Frede, Christiane and Böhne, Sebastian and Kreitz, Christoph In: ICER '17: Proceedings of the 2017 ACM Conference on International Computing Education Research , August 2017 , Tacoma, Washington, USA (2017)

  • Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq
    Böhne, Sebastian and Knobelsdorf, Maria and Kreitz, Christoph In: In Proceedings of the 7th Fachtagung zur Hochschuldidaktik der Informatik (HDI) , 11-14 September , Potsdam (2016)

  • Teaching theoretical computer science using a cognitive apprenticeship approach
    Knobelsdorf, Maria and Kreitz, Christoph and Böhne, Sebastian In: In Proceedings of the 45th ACM technical symposium on Computer science education (SIGCSE) , March , Atlanta, Georgia, USA (2014)

  • Ein konstruktivistischer Lehransatz für die Einführungsveranstaltung der Theoretischen Informatik
    Knobelsdorf, Maria and Kreitz, Christoph In: In Proceedings of the 5th Fachtagung zur Hochschuldidaktik der Informatik (HDI) , 6 - 7 November, 2012 , Universität Hamburg (2012)

    • This list was generated on Tue Apr 23 14:42:50 2024 CEST.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.