Le moteur de recherche
des thèses françaises
Gérard Guiho
IdRefMots clés
FR
Intelligence artificielle
Langage orienté objet
Méthode algébrique
Programmation logique
Systèmes experts (informatique)
Poste de travail individuel
Éditeur graphique
Méta-système
Systèmes homme-machine
Interfaces graphiques (informatique)
Apprentissage à partir d'exemples
Généralité d'une description
Appariement structurel
Spécifications algébriques
Systèmes concurrents
Sémantique algébrique
Types de données
Systèmes informatiques