Author:
Cervoni Laurent,Brasseur Julien,Rohmer Jean
Publisher
Springer Nature Switzerland
Reference11 articles.
1. Ball, D.: PROLOG and mathematics teaching. Educ. Rev. 39(2), 155–161 (1987)
2. Bensky, T.: Teaching and learning mathematics with Prolog. arXiv preprint arXiv:2108.09893 (2021)
3. Buscaroli, R., Chesani, F., Giuliani, G., Loreti, D., Mello, P.: A Prolog application for reasoning on maths puzzles with diagrams. J. Exp. Theor. Artif. Intel. 1–21 (2022)
4. Connes, A.: Micro-Prolog et géométrie élémentaire. Bulletin de l’EPI (Enseignement Public et Informatique) 44, 125–137 (1986)
5. Elenbogen, B. S., O’Kennon, M. R.: Teaching recursion using fractals in Prolog. In Proceedings of the nineteenth SIGCSE technical symposium on Computer science education, 263–266 (1988)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献