Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq

Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq

Authors
  • Böhne, Sebastian
  • Knobelsdorf, Maria
  • Kreitz, Christoph
Grafik 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
Grafik Top