Documents dont l'auteur est "Cyr, Sébastien"

Pour citer ou exporter
Nombre de documents: 1

Auteur ou autrice

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

Liste produite: Fri Oct 16 09:09:06 2026 EDT.