VIAF

Virtual International Authority File

Search

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

Colmerauer, Alain. NUKAT Center of Warsaw University Library Wikipedia (en) National Library of France German National Library

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

Colmerauer, A. German National Library

VIAF ID: 37002430 (Personal)

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

ISNI-test: 0000  0000  8115  6808 

Open Section Close Section Preferred Forms

 

 

 

 

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

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 About

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