Équipe IGG : Informatique Géométrique et Graphique

Spécifications, contraintes et preuves

De Équipe IGG : Informatique Géométrique et Graphique

Révision datée du 28 janvier 2011 à 14:21 par Admin (discussion | contributions) (a déplacé Contraintes et preuves vers Spécifications, contraintes et preuves)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Aller à la navigation Aller à la recherche

Thème et opérations de recherche : Spécifications formelles, Résolution de contraintes, Constructions et Preuves en géométrie ............... A CHOISIR !!!

Récupérée de « https://igg.icube.unistra.fr/index.php?title=Spécifications,_contraintes_et_preuves&oldid=3233 »