Generating hints and feedback for Hilbert-style axiomatic proofs

Josje Lodder, Bastiaan Heeren, Johan Jeuring

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education
Subtitle of host publication	Seattle, Washington, USA — March 08 - 11, 2017
Place of Publication	New York
Publisher	ACM Digital Library
Pages	387-392
Number of pages	6
ISBN (Print)	9781450346986
DOIs	https://doi.org/10.1145/3017680.3017736
Publication status	Published - 2017

Access to Document

@inproceedings{f3ca86e98ccf45b1bac6835db001d42b,

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",

language = "English",

isbn = "9781450346986",

pages = "387--392",

booktitle = "Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education",

publisher = "ACM Digital Library",

}

Generating hints and feedback for Hilbert-style axiomatic proofs. / Lodder, Josje; Heeren, Bastiaan; Jeuring, Johan.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education: Seattle, Washington, USA — March 08 - 11, 2017. New York: ACM Digital Library, 2017. p. 387-392.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Generating hints and feedback for Hilbert-style axiomatic proofs

AU - Lodder, Josje

AU - Heeren, Bastiaan

AU - Jeuring, Johan

PY - 2017

Y1 - 2017

U2 - 10.1145/3017680.3017736

DO - 10.1145/3017680.3017736

M3 - Conference Article in proceeding

SN - 9781450346986

SP - 387

EP - 392

BT - Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education

PB - ACM Digital Library

CY - New York

ER -