Generating hints and feedback for Hilbert-style axiomatic proofs

Josje Lodder, Bastiaan Heeren, Johan Jeuring

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
Number of pages6
ISBN (Print)9781450346986
Publication statusPublished - 2017

Cite this