Différences entre les versions de « Spécifications, contraintes et preuves »
Aller à la navigation
Aller à la recherche
m (a déplacé Contraintes et preuves vers Spécifications, contraintes et preuves) |
|||
| Ligne 1 : | Ligne 1 : | ||
| − | == | + | == Spécifications formelles, Résolution de contraintes, Constructions et Preuves en géométrie == |