Crossmark

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 Print: 2021-03

Update policy: https://doi.org/10.1016/elsevier_cm_policy

Authors

Lodder, Josje https://orcid.org/0000-0003-0568-7844
Heeren, Bastiaan

Jeuring, Johan

Neijenhuis, Wendy
License Information

Text and Data Mining valid from 2021-03-01

Text and Data Mining valid from 2021-03-01

Version of Record valid from 2026-04-22
More Information

This article is maintained by: Elsevier

Article Title: Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor

Journal Title: International Journal of Artificial Intelligence in Education

CrossRef DOI link to publisher maintained version: https://doi.org/10.1007/s40593-020-00222-2

Content Type: article

Copyright: Copyright © 2020 The Author(s). Published by Elsevier Ltd