Le moteur de recherche
des thèses françaises
Gilles Kahn
IdRefMots clés
FR
Langages de programmation -- Sémantique
Langages de programmation
Sciences appliquées
Traitement réparti
Théorèmes -- Démonstration automatique
Induction (mathématiques)
Interfaces graphiques (informatique)
Compilation (informatique)
Informatique, automatique théorique, systèmes
Logiciels -- Vérification
Spécifications
Intelligence artificielle répartie
Architecture client-serveur (informatique)
Isomorphismes (mathématiques)
Traduction automatique
Intelligence artificielle
Sémantique
Programmation par contraintes
Cohérence (informatique)
Prolog (langage de programmation)