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

Spécifications, contraintes et preuves new

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

Révision datée du 15 décembre 2015 à 12:29 par David.cazier (discussion | contributions)

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

Aller à la navigation Aller à la recherche

Bilan de 2011 à mi-2016 et prospective du thème Spécifications, contraintes et preuves en géométrie

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