No photo of Josje Lodder

Josje Lodder


If you made any changes in Pure these will be visible here soon.

Research Output 2016 2016

A Domain Reasoner for Propositional Logic

Lodder, J., Heeren, B. & Jeuring, J., 2016, In : Journal of Universal Computer Science. 22, 8, p. 1097-1122 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access