Department of Information and Computing Sciences

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

technical report UU-CS-2006-040

select other reports


techrep_id file title / author
UU-CS-2006-040 pdf An interactive tool for manipulating logical formulae
Josje Lodder, Johan Jeuring, and Harrie Passier

indexed authors

author group
Jeuring, prof. dr. J.T. all reports Software Technology for Teaching and Learning all reports

BibTeX entry

author = {Lodder, Josje and Jeuring, Johan and Passier, Harrie},
year = 2006,
title = {An interactive tool for manipulating logical formulae},
number = {UU-CS-2006-040},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{}},
pubcat = {techreport}