Einsatz von Theorembeweisern in der Lehre

Alexander Steen, Max Wisniewski, Christoph Benzmüller. Einsatz von Theorembeweisern in der Lehre. In Andreas Schwill, Ulrike Lucke, editors, Hochschuldidaktik der Informatik, HDI 2016 - 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung / Didaktik der Informatik, 13.-14. September 2016 an der Universität Potsdam, Germany. Volume 10 of Commentarii informaticae didacticae, pages 81-92, Universitätsverlag Potsdam, 2016.

Abstract

Abstract is missing.