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

Différences entre les versions de « Spécifications, contraintes et preuves »

De Équipe IGG : Informatique Géométrique et Graphique
Aller à la navigation Aller à la recherche
m (a déplacé Contraintes et preuves vers Spécifications, contraintes et preuves)
(Aucune différence)

Version du 28 janvier 2011 à 14:21

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 »