Sebastian Böhne

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 3

Top Topics

Theoretical Computer Science

Learning Theories

Digital Elevation

Top Venues

Publications

Maria Knobelsdorf, Christiane Frede, Sebastian Böhne, Christoph Kreitz
Theorem Provers as a Learning Tool in Theory of Computation. ICER (2017)
Sebastian Böhne, Christoph Kreitz
Learning how to Prove: From the Coq Proof Assistant to Textbook Style. ThEdu@CADE (2017)
Sebastian Böhne, Maria Knobelsdorf, Christoph Kreitz
Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq. HDI (2016)
Maria Knobelsdorf, Christoph Kreitz, Sebastian Böhne
Teaching theoretical computer science using a cognitive apprenticeship approach. SIGCSE (2014)