20152020

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.

  • 10 Similar Profiles

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

Projects

Phd project Josje Lodder

Lodder, J.

1/01/1511/09/20

Project: PhD project

File

Research Output

  • 2 Article
  • 1 Conference article in proceeding
  • 1 Doctoral Thesis

The Design and Use of Tools for Teaching Logic

Lodder, J. S., 1 Sep 2020, Heerlen: Canon Business Service. 142 p.

Research output: ThesisDoctoral ThesisInternal (IDIP)

Open Access
File
2 Downloads (Pure)

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
  • Generating hints and feedback for Hilbert-style axiomatic proofs

    Lodder, J., Heeren, B. & Jeuring, J., 2017, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education: Seattle, Washington, USA — March 08 - 11, 2017. New York: ACM Digital Library, p. 387-392 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

    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