É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 à 15:31 par David.cazier (discussion | contributions) (→‎Spécifications formelles, Résolution de contraintes, Constructions et Preuves en géométrie)

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

Aller à la navigation Aller à la recherche

== 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=3262 »