Fiche d'un projet ANR

 31267Structures déductives algorithmiques dans les mathématiques pré-algébriques [En savoir plus]ALGO - ANR-09-BLAN-0300
Blanc - 2009