Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
Crossref DOI link: https://doi.org/10.1007/s40593-020-00222-2
Published Online: 2020-11-06
Published Print: 2021-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lodder, Josje http://orcid.org/0000-0003-0568-7844
Heeren, Bastiaan
Jeuring, Johan
Neijenhuis, Wendy
Text and Data Mining valid from 2020-11-06
Version of Record valid from 2020-11-06
Article History
Accepted: 27 September 2020
First Online: 6 November 2020