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