Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq
- Böhne, Sebastian
- Knobelsdorf, Maria
- Kreitz, Christoph
Top
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings (Paper) |
Event Title |
In Proceedings of the 7th Fachtagung zur Hochschuldidaktik der Informatik (HDI) |
Divisions |
Education, Didactics and Entertainment Computing |
Event Location |
Potsdam |
Event Type |
Conference |
Event Dates |
11-14 September |
Page Range |
pp. 69-80 |
Date |
2016 |
Export |
Top
