Le moteur de recherche
des thèses françaises
Alain Colmerauer
IdRefMots clés
FR
Prolog (langage de programmation)
Intelligence artificielle
Contraintes (intelligence artificielle)
Sciences appliquees
These
Calcul propositionnel
Thesis
Propositional calculus
Informatique
Arbres (théorie des graphes)
Traitement automatique du langage naturel
Informatique, automatique theorique, systemes
Demonstration automatique
Demonstration theoreme
Artificial intelligence
Automatic proving
Theorem proving
Théorie des nombres
Nombres de Ramsey
Programmation stochastique