| 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 |
||