Alain Colmerauer
IdRefMots clés
FR
Prolog (langage de programmation)
Intelligence artificielle
Contraintes (intelligence artificielle)
Sciences appliquees
Informatique
These
Calcul propositionnel
Thesis
Propositional calculus
Arbres (théorie des graphes)
Traitement automatique du langage naturel
Arbres (théorie des graphes) -- Informatique
Logique du premier ordre
Programmation convexe
Automatique theorique
Systemes
Expression booleenne
Interpreteur
Prolog
Programmation logique