Alain Colmerauer
Alain Colmerauer Alain Colmerauer (born January 24 1941) is a French ...
http://en.wikipedia.org/wiki/Alain_Colmerauer - 0k - Cached - Similar pages

Alain Colmerauer   (translated from French)
Alain Colmerauer Alain Marie Albert Colmerauer 24 January 1941 with Carcassonne is one ...
http://fr.wikipedia.org/wiki/Alain_Colmerauer - 0k - Cached (French) - Wikipedia (French) - Similar pages

Talk:Alain Colmerauer
Talk:Alain Colmerauer Talk:Alain Colmerauer
http://en.wikipedia.org/wiki/Talk:Alain_Colmerauer - 0k - Cached - Similar pages

Académie of the sciences   (translated from German)
... Vladimir Arnol'd ~ Jacques Arsac ~ Philippe ashtray ~ Alain Aspect ~ Ivan Assenmacher ~ Sir Michael Atiyah ~ Thierry ... Klaus Bechgaard ~ Alim Louis Benabid ~ Christophe Benoist ~ Alain Benoît ~ Henri Benoît ~ Alain Bensoussan ~ Pierre Benveniste ~ Seymour Benzer ~ Paul Berg ... Jean Bernard ~ Gérard Berry ~ Erwin Félix Bertaut ~ Alain Berthoz ~ Guy Bertrand ~ Albert Bijaoui ~ Jean Jean ... Raoul Bott ~ Claude Bouchiat ~ Marie Anne Bouchiat ~ Alain Boudet ~ Jean Bourgain ~ Joseph Bové ~ Pierre ...
http://de.wikipedia.org/wiki/Académie_des_sciences - 31k - Cached (German) - Wikipedia (German) - Similar pages

Academy of Science   (translated from French)
... Vladimir Arnol' D ~ Jacques Arsac ~ Philippe Ascher ~ Alain Aspect ~ Ivan Assenmacher ~ Sir Michael Atiyah ~ Thierry ... Klaus Bechgaard ~ Alim-Louis Benabid ~ Christophe Benoist ~ Alain Benoît ~ Henri Benoit ~ Alain Bensoussan ~ Pierre Benveniste ~ Seymour Benzer ~ Paul Berg ... found in the lists on the site) - Alain Berthoz ~ Guy Bertrand ~ Albert Bijaoui ~ Jean-Paul ... Raoul Bott ~ Claude Bouchiat ~ Marie-Anne Bouchiat ~ Alain Boudet ~ Jean Bourgain ~ Joseph Bové ~ Pierre ...
http://fr.wikipedia.org/wiki/Académie_des_sciences - 42k - Cached (French) - Wikipedia (French) - Similar pages

Académie des Sciences
... Arnol'd - Jacques Jean Arsac - Philippe Ascher - Alain Aspect - Ivan André Albert Assenmacher - Sir Michael ... Klaus Bechgaard - Alim-Louis Benabid - Christophe Benoist - Alain Benoît - Henri Charles Benoît - Alain Bensoussan - Pierre Marc Benveniste - Seymour Benzer - Paul ... Gérard Berry - Erwin Félix Bertaut (Lewy-Bertaut) Alain Berthoz - Guy Bertrand - Albert Bijaoui - Jean-Paul ... Bott - Claude Charles Bouchiat - Marie-Anne Bouchiat - Alain Michel Boudet - Jean Bourgain - Joseph Marie ...
http://en.wikipedia.org/wiki/Académie_des_Sciences - 25k - Cached - Similar pages

Planner programming language
... paradigm community, then adapted in collaboration with Alain Colmerauer some theorem proving ideas into a form ... Vol. 2. MIT Press 1991. External links Alain Colmerauer's and Philippe Roussel's 1992 account ...
http://en.wikipedia.org/wiki/Planner_programming_language - 17k - Cached - Similar pages

Prolog   (translated from Portuguese)
... in Mathematical Logic, and was created by Alain Colmerauer for return of 1972 . Table of content ... Appearance Appearance Prolog Examples Prolog Development Center Alain Colmerauer's and Philippe Roussel's account of ...
http://pt.wikipedia.org/wiki/Prolog - 7k - Cached (Portuguese) - Wikipedia (Portuguese) - Similar pages

Q-systems
... developed at the University of Montreal by Alain Colmerauer in late 1960's for use in ... Q-systems led to Prolog, designed by Colmerauer along with Robert Kowalski in 1970's ...
http://en.wikipedia.org/wiki/Q-systems - 1k - Cached - Similar pages

Pro log (programming language)   (translated from German)
... Prologue") is one Programming language, considerably of Alain Colmerauer, a French Informatiker , beginning that 1970er Years ...
http://de.wikipedia.org/wiki/Prolog_(Programmiersprache) - 23k - Cached (German) - Wikipedia (German) - Similar pages