Theorem Provers as a Learning Tool in Theory of Computation

Theorem Provers as a Learning Tool in Theory of Computation

Content
Grafik
Authors
  • Knobelsdorf, Maria
  • Frede, Christiane
  • Böhne, Sebastian
  • Kreitz, Christoph
Grafik Top
Shortfacts
Category
 Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
 ICER '17: Proceedings of the 2017 ACM Conference on International Computing Education Research
Divisions
 Education, Didactics and Entertainment Computing
Event Location
 Tacoma, Washington, USA
Event Type
 Conference
Event Dates
 August 2017
Page Range
 pp. 83-92
Date
 2017
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.