Colmerauer, Alain (1941-....) Signaler une erreur
03305925X
Notice de type Personne

Forme retenue

Colmerauer, Alain (1941-....)

Information

Langue d'expression : français , anglais

Source

Constraint logic programming : selected research / ed. by Frédéric Benhamou and Alain Colmerauer, 1993


http://www.acad-sciences.fr/consulté le 11 juin 2003

Information trouvée :né en 1941

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Autres identifiants

En cours : frBN010251563
En cours : FRBNF123964051
Identifiant supprimé ou invalide : FRBNF12396405

Notices bibliographiques liées :3rôle(s)

070 Auteur ( 3 )
080 Préfacier, etc. ( 3 )
727 Directeur de thèse ( 22 )



Auteur :

Rôles ?



089319230 : Précédence, analyse syntaxique et langages de programmation [Texte imprimé] / par Alain Colmerauer ; sous la dir. de Louis Bolliet / [S. l.] : [s. n.] , 1967

022500480 : Prolog II : manuel de référence et modèle théorique / A. Colmerauer / Marseille : Faculté des Sciences de Luminy , 1982

145885593 : Précédence, analyse syntaxique et langages de programmation [Ressource électronique] / Alain Colmerauer ; sous la dir. de Louis Bolliet / S.l. : Université Grenoble 1 , 2005



Préfacier, etc. :

Rôles ?



00526443X : Prolog [Texte imprimé] / F. Giannesini, H. Kanoui, R. Pasero... [et al.] ; préface de A. Colmerauer / Paris : InterEditions , DL 1985, cop. 1985

10897023X : Prolog [Texte imprimé] / Françis Giannesini, Henry Kanoui, Robert Pasero, Michel van Caneghem ; foreword by Alain Colmerauer ; translated by David Brailsford and Arleta Starza-Smith,... / Wokingham (England) : Addison-Wesley Publishing Company , cop. 1986

178948853 : Algorithmes pour l'intelligence artificielle [Texte imprimé] / coordinateurs Pierre Marquis, Odile Papini, Henri Prade ; préface Alain Colmerauer / Toulouse : Cépaduès éditions , impr. 2014, cop. 2014



Directeur de thèse :

Rôles ?



078018935 : Résolution par la démonstration automatique de quelques problèmes en intégration symbolique sur calculateur [Texte imprimé] / Marc Bergman ; [sous la dir. d'Alain Colmerauer] / [S.l.] : [s.n.] , 1973

043580254 : Représentation et utilisation de la connaissnace en calcul propositionnel [Texte imprimé] / Pierre Siegel ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1987

043567045 : Concurrent PROLOG [Texte imprimé] : étude et utilisations / Jacques Bellone ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1987

043567029 : Implantation de concurrent prolog [Texte imprimé] / Rémy Picca ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1987

043573363 : De la grammaire en chaîne du français à un système question-réponse [Texte imprimé] / Celestin Sedogbo ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1987

043706290 : Prolog en informatique de gestion [Texte imprimé] / Jean-Jacques Zotian ; sous la direction d'Alain Colmerauer / [S.l.] : [s.n.] , 1988

043706495 : Deux arguments pour les arbres infinis en Prolog / Solange Coupet-Grimal ; sos la direction d'Alain Colmerauer / [S.l.] : [s.n.] , 1988

043744478 : Le ‬traitement des contraintes booléennes dans PROLOG III [Texte imprimé] / Frédéric Benhamou et Jean-Marc Boï ; sous la direction d'Alain Colmerauer / [S.l.] : [s.n.] , 1988

043746152 : EXTHER [Texte imprimé] : un système de diagnostic en échanges thermiques convectifs / Annie Bracquemond-Vergara ; sous la direction d'Alain Colmerauer / [S.l.] : [s.n.] , 1988

043745156 : La récupération de mémoire dans les machines non déterministes [Texte imprimé] / Touraïvane ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1988

04386029X : L'évaluation sémantique en calcul propositionnel [Texte imprimé] / Laurent Oxusoff ; [avec la collab.d' Antoine Rauzy] ; sous la direction de Pierre Siegel et Alain Colmerauer / [S.l.] : [s.n.] , 1989

022293167 : Simplification des systèmes de contraintes numériques linéaires [Texte imprimé] / Jean-Louis Imbert ; sous la direction d'Alain Colmerauer / [S.l.] : [s.n.] , 1989

043901484 : Résolution des formes pronominales dans l'interface d'interrogation d'une base de données [Texte imprimé] / Monique Rolbert ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1989

044203721 : How to use symmetries in boolean constraint solving [Texte imprimé] / Alfonso San Miguel Aguirre ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1992

044067674 : Algorithmes d'énumération et résolution de contraintes booléennes dans un langage de programmation logique [Texte imprimé] / Jean-Luc Massat ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1993

043674429 : Calcul de plus petits produits cartésiens d'intervalles [Texte imprimé] : application au problème d'ordonnancement d'atelier / Jianyang Zhou ; sous la direction de Alain Colmerauer / [S.l.] : [s.n.] , 1997

04369831X : Résolution de contraintes par analyse de parties convexes de R [Texte imprimé] / Chistophe Aillaud ; sous la direction d'Alain Colmerauer / [S.l.] : [s.n.] , 1997

069747008 : Quant aux carrés carrelés [Texte imprimé] / Ian Gambini ; sous la dir. d'Alain Colmerauer / [S.l.] : [s.n.] , 1999

06979944X : Placement de pentaminos par résolution de contraintes [Texte imprimé] / Bruno Giletta ; sous la dir. d'Alain Colmerauer / [S.l.] : [s.n.] , 2000

069324786 : Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis [Texte imprimé] / Thi Bich Hanh Dao ; sous la dir. d'Alain Colmerauer / [S.l.] : [s.n.] , 2000

110514092 : Théories complètes autour des arbres [Texte imprimé] / Khalil Djelloul ; sous la dir. de Mr Alain Colmerauer / [S.l.] : [s.n.] , 2006

110514416 : Théories complètes autour des arbres [Ressource électronique] / Khalil Djelloul ; sous la dir. de Mr Alain Colmerauer / [S.l.] : [s.n.] , 2006


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance