Turing :: SCD d'Orléans

Turing

Turing

"Alan Turing (1912-1954), mathématicien et logicien, est considéré comme le père de l'informatique et de l'intelligence artificielle. Il était aussi théoricien de la biologie et philosophe : lui revient le mérite d avoir mis en rapport la logique et la biologie. On essaye ici de retra...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Lassègue, Jean, 1962-
Fformat:	Livre papier
Iaith:	Français
Cyhoeddwyd:	Paris : Les Belles Lettres 1998.
Cyfres:	Figures du savoir 12
Pynciau:	Turing, Alan Mathison, > 1912-1954 > Critique et interprétation Intelligence artificielle Logique symbolique et mathématique
Nodyn:	Autre tirage : 2003, 2023
Autres localisations:	Voir dans le Sudoc

Eitemau Tebyg

Turing
gan: Lassègue, Jean, 1962-
Cyhoeddwyd: (2017)

Alan Turing : his work and impact
gan: Cooper, S. Barry, 1943-2015
Cyhoeddwyd: (2013)

Lettres à Alan Turing
gan: Lévy-Leblond, Jean-Marc, 1940-
Cyhoeddwyd: (2016)

Lettres à Alan Turing
gan: Lévy-Leblond, Jean-Marc, 1940-, et al.
Cyhoeddwyd: (2016)

La pomme d'Alan Turing : roman
gan: Langenieux-Villard, Philippe, 1955-
Cyhoeddwyd: (2013)

Turing à la plage : l'intelligence artificielle dans un transat
gan: Guerraoui, Rachid, 1967-, et al.
Cyhoeddwyd: (2020)

Alan Turing
gan: Sánchez Vegara, Maria Isabel, 19..-
Cyhoeddwyd: (2023)

Le modèle Turing
gan: Bernstein, Catherine, 1964-...., réalisatrice
Cyhoeddwyd: (2012)

Alan Turing : ou L'énigme de l'intelligence
gan: Hodges, Andrew, 1949-
Cyhoeddwyd: (1988)

Alan Turing : the enigma : the book that inspired the film The imitation game
gan: Hodges, Andrew, 1949-
Cyhoeddwyd: (2017)

Alan Turing, le code de la vie
gan: Bernstein, Catherine, 1964-...., réalisatrice, et al.
Cyhoeddwyd: (2013)

Alan Turing : l'homme qui inventa l'informatique
gan: Leavitt, David, 1961-
Cyhoeddwyd: (2007)

Le cas Alan Turing : histoire extraordinaire et tragique d'un génie
gan: Liberge, Éric, 1965-, et al.
Cyhoeddwyd: (2023)

Alan Turing
gan: Collin, Maxence, 19..-, et al.
Cyhoeddwyd: (2024)

Alan Turing : l'homme qui a croqué la pomme
gan: Lemire, Laurent, 1961-
Cyhoeddwyd: (2004)

Le cas Alan Turing : histoire extraordinaire et tragique d'un génie
gan: Delalande, Arnaud, 1971-
Cyhoeddwyd: (2015)

Alan Turing : le génie qui a décrypté les codes secrets nazis et inventé l'ordinateur : le livre qui a inspiré le film The imitation game
gan: Hodges, Andrew, 1949-
Cyhoeddwyd: (2015)

L'aventure mathématique : liberté et rigueur psychotiques : Cantor, Goedel et Türing
gan: Lombardi, Gabriel
Cyhoeddwyd: (2005)

Imitation game
gan: Tyldum, Morten, 1967-, et al.
Cyhoeddwyd: (2015)

Les rêveurs lunaires : quatre génies qui ont changé l'histoire
gan: Villani, Cédric, 1973-
Cyhoeddwyd: (2015)

Turing machines with sublogarithmic space
gan: Szepietowski, Andrzej, 19..-

La machine de Turing
gan: Turing, Alan Mathison, 1912-1954, et al.
Cyhoeddwyd: (1999)

La machine comme « prothèse d’origine » : réflexion philosophique sur le sujet humain dans Battlestar Galactica de Ronald D. Moore
gan: Lemieux, René
Cyhoeddwyd: (2017)

A Missing link in cybernetics : logic and continuity
gan: Andrew, Alex M.

Machines de Turing : introduction à la caractérisation de la complexité d'un problème : code compatible avec les versions 5, 6 et 7 de Mathematica
gan: Jacopin, Éric, 19..-
Cyhoeddwyd: (2009)

Logiques non monotones et intelligence artificielle
gan: Grégoire, Eric
Cyhoeddwyd: (1990)

Intelligence artificielle et informatique théorique
gan: Alliot, Jean-Marc, 1962-, et al.
Cyhoeddwyd: (2002)

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings

Fundamentals of artificial intelligence : an advanced course
gan: Bibel, Wolfgang, 1938-

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Pensée symbolique et intuition
gan: Bourdeau, Michel, 1944-...., philosophe
Cyhoeddwyd: (2016)

Machines de Turing et automates cellulaires : du trait gravé au très animé
gan: Corge, Charles
Cyhoeddwyd: (2008)

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
gan: MacNish, Craig, 19..-

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Logique. Méthodes formelles pour l'étude des programmes
gan: Gochet, Paul, 1932-2011, et al.
Cyhoeddwyd: (1994)

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales