Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical report UU-CS-2016-009

select other reports

report

techrep_id file title / author
UU-CS-2016-009 pdf Generating hints and feedback for Hilbert-style axiomatic proofs
Josje Lodder, Bastiaan Heeren and Johan Jeuring

indexed authors

author group
Heeren, dr. B.J. all reports Software Technology all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports

BibTeX entry

@TECHREPORT{UUCS2016009,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2016,
title = {Generating hints and feedback for Hilbert-style axiomatic proofs},
number = {UU-CS-2016-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-009.pdf}},
pubcat = {techreport}
}