home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical report UU-CS-2006-040

select other reports

• technical report index page

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}
}