sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000081156808 | 1 hits
Person
ISNI: 
0000 0000 8115 6808
Name: 
Alain Colmerauer
Alain Colmerauer (computer scientist)
Alain Colmerauer (Frans informaticus)
Alain Colmerauer (fransk ingeniør og informatikar)
Alain Colmerauer (fransk ingeniør og informatiker)
Alain Colmerauer (fransk ingenjör och datavetare)
Alain Colmerauer (französischer Informatiker)
Colmerauer, A.
Colmerauer, Alain
Dates: 
1941-...
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
Related names: 
Benhamou, Frédéric (1960-...)
Bolliet, Louis
Brailsford, David
Djelloul, Khalil (2006-....))
Faculté des sciences de Paris
Giannesini, Françis
Rolbert, Monique
Siegel, Pierre (1950-....))
Starza-Smith, Arleta
Zotian, Jean-Jacques (1950-....))
Titles: 
About squares squares
Algorithmes pour l'intelligence artificielle
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²
étude sur les nombres de Ramsey classiques et multiples binaires et ternaires, Une
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
la grammaire en chaîne du français à un système question-réponse, De
Modélisation des fins de partie d'echecs
Précédence, analyse syntaxique et langages de programmation
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
récupération de mémoire dans les machines non déterministes, La
Représentation et utilisation de la connaissnace en calcul propositionnel
Résolution d'équations sur les arbres et les listes
Résolution de contraintes par analyse de parties convexes de R
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
saturation au secours de la non-monotonie, La
Simplification des systèmes de contraintes numériques linéaires
Solving the pentamino problem with constraint programming
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
système expert en diagnostic sur réacteurs à neutrons rapides, Un
système logique pour le traitement de discours, Un
Théories complètes autour des arbres
UTILISATION DES SYMETRIES DANS LA RESOLUTION DE CONTRAINTES BOOLEENNES.
Notes: 
"1re thèse ... soutenue le 9 décembre 1959 devant la Commission d'examen, M. Ribaud, président; M. Moraud, M. Michel, examinateurs"
"2e thèse: Propositions données par la faculté"
Originally presented as the author's thesis (doctoral)--Université de Paris, 1959
Sources: 
VIAF LC NLI NUKAT SUDOC WKD
BOWKER