É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 12 novembre 2010 à 10:48 par David.cazier (discussion | contributions)

(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 : A CHOISIR Spécifications formelles, Résolution de contraintes, constructions et preuves en géométrie

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