%0 Conference Paper %1 journals/corr/abs-2002-12552 %A Lodder, Josje %A Heeren, Bastiaan %A Jeuring, Johan %B ThEdu@CADE %D 2019 %E Quaresma, Pedro %E Neuper, Walther %E Marcos, João %K dblp %P 17-34 %T Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs313.html#abs-2002-12552 %V 313

@inproceedings{journals/corr/abs-2002-12552, added-at = {2021-04-09T00:00:00.000+0200}, author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan}, biburl = {https://www.bibsonomy.org/bibtex/24b0cfd7244948d017336603f9a44a068/dblp}, booktitle = {ThEdu@CADE}, crossref = {journals/corr/abs-2002-11895}, editor = {Quaresma, Pedro and Neuper, Walther and Marcos, João}, ee = {https://arxiv.org/abs/2002.12552}, interhash = {327e3252b225854f72b28413f18ae167}, intrahash = {4b0cfd7244948d017336603f9a44a068}, keywords = {dblp}, pages = {17-34}, series = {EPTCS}, timestamp = {2024-04-10T10:49:58.000+0200}, title = {Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs313.html#abs-2002-12552}, volume = 313, year = 2019 }