Department of Information and Computing Sciences

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

technical report UU-CS-2010-011

select other reports

report

techrep_id file title / author
UU-CS-2010-011 pdf Adapting Mathematical Domain Reasoners
Bastiaan Heeren, Johan Jeuring

indexed authors

author group
Heeren, dr. B.J. all reports Soft.Tech. for Learning and Teaching all reports
Jeuring, prof. dr. J.T. all reports Soft.Tech. for Learning and Teaching all reports

BibTeX entry

@TECHREPORT{UUCS2010011,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Adapting Mathematical Domain Reasoners},
number = {UU-CS-2010-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-011.pdf}},
pubcat = {techreport}
}