![](/img/cover-not-exists.png)
[ACM Press the 2017 ACM Conference - Tacoma, Washington, USA (2017.08.18-2017.08.20)] Proceedings of the 2017 ACM Conference on International Computing Education Research - ICER '17 - Theorem Provers as a Learning Tool in Theory of Computation
Knobelsdorf, Maria, Frede, Christiane, Böhne, Sebastian, Kreitz, ChristophYear:
2017
DOI:
10.1145/3105726.3106184
File:
PDF, 11.16 MB
2017