Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Alain Colmerauer
Alain Colmerauer
at_id:
orcid_id:
Disciplines:
Computer sciences
Natural sciences
Edit
Merge
See Links
Directed Thesis:
Théories complètes autour des arbres
Quant aux carrés carrelés
Placement de pentaminos par résolution de contraintes
Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis
Résolution de contraintes par analyse de parties convexes de R
Calcul de plus petits produits cartésiens d'intervalles : application au problème d'ordonnancement d'atelier
Une étude sur les nombres de Ramsey classiques et multiples binaires et ternaires
Calcul de plans d'actions : des méthodes déductives vers les méthodes algébriques
How to use symmetries in boolean constraint solving
Résolution d'équations sur les arbres et les listes
Un système logique pour le traitement de discours
L'évaluation sémantique en calcul propositionnel
Résolution des formes pronominales dans l'interface d'interrogation d'une base de données
Deux arguments pour les arbres infinis en Prolog
La récupération de mémoire dans les machines non déterministes
Exther : un système de diagnostic en échanges thermiques convectifs
Prolog en informatique de gestion
Concurrent PROLOG : étude et utilisations
De la grammaire en chaîne du français à un système question-réponse
Implantation de concurrent prolog
Représentation et utilisation de la connaissnace en calcul propositionnel