É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:49 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 : 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=3217 »