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 7 publications that cite this research output on Dimensions.
Article in International Journal of Artificial Intelligence in Education (November 2020)
Article in Journal for General Philosophy of Science (August 2020)
Conference proceeding (March 2017)