Generating Hints and Feedback for Hilbert-style Axiomatic Proofs

Josje Lodder, Bastiaan Heeren, Johan Jeuring. Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. In Michael E. Caspersen, Stephen H. Edwards, Tiffany Barnes, Daniel D. Garcia, editors, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017. pages 387-392, ACM, 2017. [doi]

No reviews for this publication, yet.