Login / Signup
Wendy Neijenhuis
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Theorem Prover
Multiresolution
Human Tutors
Learning Gains
Top Venues
Int. J. Artif. Intell. Educ.
</>
Publications
</>
Josje Lodder
,
Bastiaan Heeren
,
Johan Jeuring
,
Wendy Neijenhuis
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor.
Int. J. Artif. Intell. Educ.
31 (1) (2021)