Generating hints and feedback for Hilbert-style axiomatic proofs

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education
Subtitle of host publicationSeattle, Washington, USA — March 08 - 11, 2017
Place of PublicationNew York
PublisherACM Digital Library
Pages387-392
Number of pages6
ISBN (Print)9781450346986
DOIs
Publication statusPublished - 2017

Cite this

Lodder, J., Heeren, B., & Jeuring, J. (2017). Generating hints and feedback for Hilbert-style axiomatic proofs. In Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education: Seattle, Washington, USA — March 08 - 11, 2017 (pp. 387-392). ACM Digital Library. https://doi.org/10.1145/3017680.3017736