VIAF

Virtual International Authority File

Search

Colmerauer, Alain, 1941-.... Sudoc [ABES], France ISNI

Colmerauer, Alain. NUKAT Center of Warsaw University Library National Library of France German National Library

Colmerauer, A. (Alain) National Library of Israel Library of Congress/NACO

Alain Colmerauer Wikidata

Colmerauer, A. German National Library

VIAF ID: 37002430 (Personal)

Permalink: http://viaf.org/viaf/37002430

ISNI: 0000  0000  8115  6808 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (7)

Open Section Close SectionWorks

Title Sources
About squares squares Sudoc [ABES], France
Algorithmes pour l'intelligence artificielle Sudoc [ABES], France
Calcul de plans d'actions des méthodes déductives vers les méthodes algébriques Sudoc [ABES], France
Calcul de plus petits produits cartésiens d'intervalles application au problème d'ordonnancement d'atelier Sudoc [ABES], France
Computing smallest cartesian products of intervals : application to the job-shop scheduling problem. Sudoc [ABES], France
Constraint logic programming selected research National Library of Israel Sudoc [ABES], France National Library of France Library of Congress/NACO
Détermination expérimentale des équations d'état de l'argon jusqu'à 1000° C et 1000 kg-cm² National Library of Israel
Une étude sur les nombres de Ramsey classiques et multiples binaires et ternaires Sudoc [ABES], France
EXTHER un système de diagnostic en échanges thermiques convectifs Sudoc [ABES], France
From the string grammar of french to a question-answer system. Sudoc [ABES], France
Garbage collection for non deterministic machines. Sudoc [ABES], France
How to use symmetries in boolean constraint solving Sudoc [ABES], France
De la grammaire en chaîne du français à un système question-réponse Sudoc [ABES], France
Modélisation des fins de partie d'echecs Sudoc [ABES], France
Précédence, analyse syntaxique et langages de programmation Sudoc [ABES], France
Prolog NUKAT Center of Warsaw University Library Sudoc [ABES], France
Prolog II : manuel de référence et modèle théorique Sudoc [ABES], France
Pronouns resolution in a natural language interface to database. Sudoc [ABES], France
Quant aux carrés carrelés Sudoc [ABES], France
La récupération de mémoire dans les machines non déterministes Sudoc [ABES], France
Représentation et utilisation de la connaissnace en calcul propositionnel Sudoc [ABES], France
Résolution de contraintes par analyse de parties convexes de R Sudoc [ABES], France
Résolution d'équations sur les arbres et les listes Sudoc [ABES], France
Résolution des formes pronominales dans l'interface d'interrogation d'une base de données Sudoc [ABES], France
Resolution of first order constraints in the theory of finite or infinite trees Sudoc [ABES], France
Résolution par la démonstration automatique de quelques problèmes en intégration symbolique sur calculateur Sudoc [ABES], France
Résultats préliminaires, 1970 National Library of Israel Library of Congress/NACO
La saturation au secours de la non-monotonie Sudoc [ABES], France
Simplification des systèmes de contraintes numériques linéaires Sudoc [ABES], France
Solving the pentamino problem with constraint programming Sudoc [ABES], France
Sur un modèle logique du langage naturel et son utilisation pour l'interrogation des banques de données Sudoc [ABES], France
Synthèse du français à partir d'une représentation en logique du premier ordre Sudoc [ABES], France
Un système expert en diagnostic sur réacteurs à neutrons rapides Sudoc [ABES], France
Un système logique pour le traitement de discours Sudoc [ABES], France
Théories complètes autour des arbres Sudoc [ABES], France
UTILISATION DES SYMETRIES DANS LA RESOLUTION DE CONTRAINTES BOOLEENNES. Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section History of VIAF ID:37002430 (21)