Jean-François Dufourd
IdRefMots clés
FR
Sciences appliquees
Informatique, automatique theorique, systemes
These
Thesis
Constructions géométriques
Langage programmation
Programming language
Modèles mathématiques
Théorèmes -- Démonstration automatique
Cartographie -- Informatique
Topologie combinatoire
Conception assistée par ordinateur
Contraintes (intelligence artificielle)
Simulation par ordinateur
Systèmes informatiques
Interfaces (informatique)
Arbres (théorie des graphes) -- Informatique
Construction geometrique
Specification algebrique
Systeme expert