Colmerauer, Alain, 1941-2017, informaticien
Alain Colmerauer
Colmerauer, A. (Alain)
Colmèrauer, Alain
Colmerauer, Alain (1941-2017).
VIAF ID: 37002430 ( Personal )
Permalink: http://viaf.org/viaf/37002430
Preferred Forms
- 100 0 _ ‡a Alain Colmerauer
- 100 0 _ ‡a Alain Colmerauer
- 200 _ | ‡a Colmerauer ‡b Alain
-
- 100 1 _ ‡a Colmerauer, A. ‡q (Alain)
-
- 100 1 _ ‡a Colmerauer, A. ‡q (Alain)
-
-
- 100 1 _ ‡a Colmerauer, Alain, ‡d 1941-2017, ‡c informaticien
-
4xx's: Alternate Name Forms (23)
Works
Title | Sources |
---|---|
About squares squares. | |
Analyse du francais comme langage de commande dans un systeme de construction graphique | |
Calcul de plans d'actions : des méthodes déductives vers les méthodes algébriques | |
Calcul de plus petits produits cartésiens d'intervalles : application au problème d'ordonnancement d'atelier | |
Computing smallest cartesian products of intervals : application to the job-shop scheduling problem. | |
Constraint logic programming selected research | |
Détermination expérimentale des équations d'état de l'argon jusqu'à 1000° C et 1000 kg-cm² | |
Une étude sur les nombres de Ramsey classiques et multiples binaires et ternaires | |
EXTHER: an expert system for thermal diagnosis. | |
EXTHER : un système de diagnostic en échanges thermiques convectifs | |
From the string grammar of french to a question-answer system. | |
Garbage collection for non deterministic machines. | |
How to use symmetries in boolean constraint solving | |
De la grammaire en chaîne du français à un système question-réponse | |
Modélisation des fins de partie d'echecs | |
Planning: from deductive methods towards algebraic planning calculus. | |
Précédence, analyse syntaxique et langages de programmation | |
Prolog | |
Prolog II : manuel de référence et modèle théorique | |
Pronouns resolution in a natural language interface to database. | |
Quant aux carrés carrelés | |
La recherche en intelligence artificielle : articles | |
La récupération de mémoire dans les machines non déterministes | |
Relations de précédence totale | |
Représentation et utilisation de la connaissnace en calcul propositionnel | |
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 | |
Résolution d'équations sur les arbres et les listes | |
Résolution des formes pronominales dans l'interface d'interrogation d'une base de données | |
Resolution of first order constraints in the theory of finite or infinite trees. | |
Résolution par la démonstration automatique de quelques problèmes en intégration symbolique sur calculateur | |
Résultats préliminaires, 1970 | |
La saturation au secours de la non-monotonie | |
Semantic evaluation in propositionnal calculus. | |
Simplification of linear numeric constraint systems. | |
Solving equations over trees and lists. | |
Solving the pentamino problem with constraint programming. | |
A Study of the classical and multiple Ramsey numbers binary and ternary. | |
Sur un modèle logique du langage naturel et son utilisation pour l'interrogation des banques de données | |
Synthèse du français à partir d'une représentation en logique du premier ordre | |
Un système expert en diagnostic sur réacteurs à neutrons rapides | |
Un système logique pour le traitement de discours | |
Théories complètes autour des arbres | |
Le Traitement des contraintes booleennes dans PROLOG III |