Le moteur de recherche
des thèses françaises
Bruno Courcelle
IdRefMots clés
FR |
EN
Intelligence artificielle
Prolog (langage de programmation)
Théorie des graphes
Grammaires de graphes
Programmation logique
Logique monadique du second ordre
Parallélisme (informatique)
Algorithmes
Théorie des automates mathématiques
Réécriture, Systèmes de (informatique)
Langages algébriques
Théorèmes -- Démonstration automatique
Scheme (langage de programmation)
Conception orientée objets (informatique)
Sciences appliquées
Informatique, automatique théorique, systèmes
Thèse
Informatique théorique
Langage programmation
Prolog