Department of Information and Computing Sciences

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

technical report UU-CS-2015-021

select other reports


techrep_id file title / author
UU-CS-2015-021 pdf A domain reasoner for propositional logic
Josje Lodder, Bastiaan Heeren and Johan Jeuring

indexed authors

author group
Heeren, dr. B.J. all reports Software Technology for Teaching and Learning all reports

BibTeX entry

author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2015,
title = {A domain reasoner for propositional logic},
number = {UU-CS-2015-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{}},
pubcat = {techreport}