Différences entre les versions de « Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
Ligne 1 : | Ligne 1 : | ||
− | == Spécifications formelles, Résolution de contraintes, Constructions et Preuves en géométrie == | + | == Spécifications formelles, Résolution de contraintes, |
+ | Constructions et Preuves en géométrie == |
Version du 28 janvier 2011 à 15:31
== Spécifications formelles, Résolution de contraintes, Constructions et Preuves en géométrie ==