Spécifications, contraintes et preuves
Révision datée du 12 novembre 2010 à 10:49 par David.cazier (discussion | contributions) (→Thème et opérations de recherche : A CHOISIR Spécifications formelles, Résolution de contraintes, constructions et preuves en géométrie)