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,== | <!-- == Spécifications formelles, Résolution de contraintes,== | ||
== Constructions et Preuves en géométrie == --> | == Constructions et Preuves en géométrie == --> | ||
| + | |||
| + | |||
| + | == Bilan == | ||
| + | |||
| + | == Perspectives == | ||
Version du 15 mars 2011 à 20:07