115526Les assistants de preuve pour les apprentissages mathématiques - Diagnostiquer, Analyser, Concevoir, Expérimenter, Evaluer [En savoir plus]APPAM - ANR-23-CE38-0009
AAPG2023 - 2023

Voir les documents associés 

Exporter

• Export XML
• Export RDF