Documents publiés en "2019"

Pour citer ou exporter
Nombre de documents: 1

Département de génie informatique et génie logiciel

Richard, P. R., Venant, F., & Gagnon, M. (2019). Issues and challenges in instrumental proof. Dans Proof Technology in Mathematics Research and Teaching (Vol. 14, p. 139-172). Lien externe

Liste produite: Wed Oct 21 11:36:02 2026 EDT.