Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
Article in International Journal of Artificial Intelligence in Education (November 2020)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in International Journal of Artificial Intelligence in Education (November 2020)
Article in Computer Languages Systems & Structures (July 2012)