Différences entre les versions de « Spécifications, contraintes et preuves new »
Aller à la navigation
Aller à la recherche
(Page créée avec « Bilan 2011 à mi-2016 et prospective du thème Spécifications, contraintes et preuves en géométrie ») |
|||
Ligne 1 : | Ligne 1 : | ||
− | Bilan 2011 à mi-2016 et prospective du thème Spécifications, contraintes et preuves en géométrie | + | Bilan de 2011 à mi-2016 et prospective du thème Spécifications, contraintes et preuves en géométrie |
Version du 15 décembre 2015 à 12:29
Bilan de 2011 à mi-2016 et prospective du thème Spécifications, contraintes et preuves en géométrie