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]
@inproceedings{LodderHJ17,
title = {Generating Hints and Feedback for Hilbert-style Axiomatic Proofs},
author = {Josje Lodder and Bastiaan Heeren and Johan Jeuring},
year = {2017},
doi = {10.1145/3017680.3017736},
url = {http://doi.acm.org/10.1145/3017680.3017736},
researchr = {https://researchr.org/publication/LodderHJ17},
cites = {0},
citedby = {0},
pages = {387-392},
booktitle = {Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017},
editor = {Michael E. Caspersen and Stephen H. Edwards and Tiffany Barnes and Daniel D. Garcia},
publisher = {ACM},
isbn = {978-1-4503-4698-6},
}