Items where Author is "Böhne, Sebastian"

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: 3.

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)

    • This list was generated on Sat Nov 9 19:15:10 2024 CET.
    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.