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 : A CHOISIR Spécifications formelles, Résolution de contraintes, constructions et preuves en géométrie | + | == Thème et opérations de recherche : A CHOISIR Spécifications formelles, Résolution de contraintes, constructions et preuves en géométrie == |