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.
@inproceedings{SteenWB16-1,
title = {Einsatz von Theorembeweisern in der Lehre},
author = {Alexander Steen and Max Wisniewski and Christoph Benzmüller},
year = {2016},
researchr = {https://researchr.org/publication/SteenWB16-1},
cites = {0},
citedby = {0},
pages = {81-92},
booktitle = {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},
editor = {Andreas Schwill and Ulrike Lucke},
volume = {10},
series = {Commentarii informaticae didacticae},
publisher = {Universitätsverlag Potsdam},
isbn = {978-3-86956-376-3},
}