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

report

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 all reports

BibTeX entry

@TECHREPORT{UUCS2006040,
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 = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-040.pdf}},
pubcat = {techreport}
}