Monter d'un niveau |
Font, L., Cyr, S., Richard, P. R., & Gagnon, M. (août 2019). Automating the generation of high school geometry proofs using Prolog in an educational context [Communication écrite]. 8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu 2019), Natal, Brazil (16 pages). Lien externe