000 01308nam a2200313 i 4500
001 90734
003 IT-RoAPU
005 20231216171326.0
008 041012s1995 fr |000 u fre c
040 _aIT-RoAPU
_bita
_cIT-RoAPU
041 1 _afre
_heng
084 _aQA 267.B52
100 1 _aTuring, Alan Mathison,
_d1912-1954
_1http://viaf.org/viaf/41887917
_923081
240 1 0 _aOn computable numbers.
_lFrancese
_9185632
245 1 3 _aLa machine de Turing /
_cAlan Turing ; [présenté par] Jean-Yves Girard ; trad. de l'anglais par Julien Basch et Patrice Blanchard.
260 _aParis :
_bSeuil,
_c1995.
300 _a174 p. :
_bill. ;
_c21 cm.
490 1 _aPoints. Sciences ;
_vS131
650 7 _aTuring̉s world 3.0
_2sbaa
_9255762
650 7 _aComputabilità
_xInformatica
_2sbaa
_9255763
650 7 _aLogica matematica
_2sbaa
_9202494
700 1 _aBasch, Julien
_etraduttore
_1http://viaf.org/viaf/208032948
_960470
700 1 _aGirard, Jean-Yves,
_d1947-
_eautore di prefazione
_1http://viaf.org/viaf/84575083
_997157
700 1 _aBlanchard, Patrice
_etraduttore
_1http://viaf.org/viaf/61542047
_997156
700 1 2 _aTuring, Alan Mathison,
_d1912-1954.
_tComputing machinery and intelligence.
_lFrancese
_923082
830 0 _aPoints.
_pSciences
_vS131
_9217647
850 _aIT-RoAPU
942 _cBK
_00
999 _c90734
_d90734