Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Einsatz von Theorembeweisern in der Lehre
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph
2016 • In Schwill, Andreas; Lucke, Ulrike (Eds.) Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam
Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Einsatz von Theorembeweisern in der Lehre
Alternative titles :
[en] Usage of Theorem Provers in Teaching
Publication date :
2016
Event name :
Hochschuldidaktik der Informatik, HDI2016
Event place :
Potsdam, Germany
Event date :
13.-14. September 2016
Audience :
International
Main work title :
Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam