No photo of Josje Lodder

Josje Lodder

drs.

20162019

Research output per year

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

Fingerprint Dive into the research topics where Josje Lodder is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 11 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae

Lodder, J., Heeren, B. J. & Jeuring, J. T., Oct 2019, In : Journal of Computer Assisted Learning. 35, 5, p. 620-632 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
  • 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