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 Software Technology all reports
Jeuring, prof. dr. J.T. all reports Software Technology 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}
}