La machine de Turing

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Turing Alan Mathison (Auteur), Girard Jean-Yves (Préfacier), Basch Julien (Traducteur), Blanchard Patrice (Traducteur)
Format : Livre
Langue : français
Titre complet : La machine de Turing / Alan Turing, Jean-Yves Girard; traduit de l'anglais par Julien Basch et Patrice Blanchard; [avant-propos de Jean-Yves Girard]
Publié : Paris : Éditions du Seuil , DL 1999
61-Lonrai : Normandie roto impr.
Description matérielle : 1 vol. (174 p.)
Collection : Collection Points. Série Sciences ; S131
Contenu : Contient deux articles d'Alan Turing : "Théorie des nombres calculables" ("On computable numbers", 1937), suivie d'une application au problème de la décision ; "Les ordinateurs et l'intelligence" ("Computing machinery and intelligence", 1950)
Sujets :
LEADER 03006cam a2200769 4500
001 PPN045216045
003 http://www.sudoc.fr/045216045
005 20230927055500.0
010 |a 978-2-02-036928-2  |b br. 
010 |a 2-02-036928-1  |b br.  |d 6,95 EUR 
033 |a http://catalogue.bnf.fr/ark:/12148/cb37072470j 
035 |a 046938265  |9 sudoc 
035 |a 061269697  |9 sudoc 
035 |a 075328690  |9 sudoc 
035 |a (OCoLC)32941908 
035 |a ocm41899837 
035 |a sib1335033 
035 |a ubs39344 
035 |a bua74320 
035 |a frBN024426407 
035 |a FRBNF370724700000007  |z FRBNF37072470 
073 1 |a 9782020369282 
100 |a 20000411h19991995m y0frey0103 ba 
101 1 |a fre  |c eng  |2 639-2 
102 |a FR 
105 |a c a 000yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a La machine de Turing  |f Alan Turing, Jean-Yves Girard  |g traduit de l'anglais par Julien Basch et Patrice Blanchard  |g [avant-propos de Jean-Yves Girard] 
214 0 |a Paris  |c Éditions du Seuil  |d DL 1999 
214 3 |a 61-Lonrai  |c Normandie roto impr. 
215 |a 1 vol. (174 p.)  |c ill., portr., couv. ill. en coul.  |d 18 cm 
225 0 |a Points  |i Sciences  |v S131 
305 |a Autre tirage : 2000 
320 |a Notes bibliogr. 
327 2 |a Contient deux articles d'Alan Turing : "Théorie des nombres calculables" ("On computable numbers", 1937), suivie d'une application au problème de la décision ; "Les ordinateurs et l'intelligence" ("Computing machinery and intelligence", 1950) 
410 | |0 001023381  |t Collection Points. Série Sciences  |x 0337-8160  |v S131 
606 |3 PPN027814688  |a Fonctions récursives  |2 rameau 
606 |3 PPN027551261  |a Complexité de calcul (informatique)  |2 rameau 
606 |3 PPN027844536  |a Fonctions calculables  |2 rameau 
606 |3 PPN027831655  |a Turing, Machines de  |2 rameau 
606 |3 PPN02733015X  |a Théorie des automates mathématiques  |2 rameau 
675 |a 51  |v Éd. 1967 
676 |a 511.3  |v 21 
676 |a 511 
700 1 |3 PPN030691621  |a Turing  |b Alan Mathison  |f 1912-1954  |4 070 
701 1 |3 PPN026892669  |a Girard  |b Jean-Yves  |f 1947-....  |4 070 
701 1 |3 PPN057247048  |a Basch  |b Julien  |4 730 
701 1 |3 PPN02673138X  |a Blanchard  |b Patrice  |4 730 
702 1 |3 PPN026892669  |a Girard  |b Jean-Yves  |f 1947-....  |4 080 
801 3 |a FR  |b Abes  |c 20221005  |g AFNOR  |h 046938265 
801 3 |a FR  |b Abes  |c 20221005  |g AFNOR  |h 061269697 
801 3 |a FR  |b Abes  |c 20221005  |g AFNOR  |h 075328690 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b BN  |g AFNOR 
801 3 |a FR  |b Electre  |c 20000330  |g AFNOR 
979 |a IUTN 
930 |5 441092206:274954583  |b 441092206  |j s 
991 |5 441092206:274954583  |a Rétroconversion IUT Nantes 
991 |5 441092206:274954583  |a Exemplaire modifié automatiquement. le 25-01-2023 15:32 
998 |a 468492