Structures déductives algorithmiques dans les mathématiques pré-algébriques
Structures déductives algorithmiques dans les mathématiques pré-algébriques
Sous la direction de Marc MOYON
Pour plus d’informations sur ce projet, consultez le site dédié.