Différences entre les versions de « Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
Ligne 1 : | Ligne 1 : | ||
− | == Thème et opérations de recherche : Spécifications formelles, Résolution de contraintes, | + | == Thème et opérations de recherche : Spécifications formelles, Résolution de contraintes, Constructions et Preuves en géométrie |
+ | A CHOISIR !!! == |
Version du 12 novembre 2010 à 10:49
== Thème et opérations de recherche : Spécifications formelles, Résolution de contraintes, Constructions et Preuves en géométrie A CHOISIR !!! ==