| 000 | 01536cam a2200469Ma 4500 | ||
|---|---|---|---|
| 001 | 81704 | ||
| 005 | 20230410132735.0 | ||
| 008 | 960906s1997 maua b 001 0 eng d | ||
| 010 | _a 96035322 | ||
| 035 | _a(OCoLC)ocn300459879 | ||
| 040 |
_aRUQBL _bfre _cRUQBL _dU9S _dZWZ |
||
| 020 | _a053494728X | ||
| 020 | _a9780534947286 | ||
| 029 | 1 |
_aZWZ _b026085003 |
|
| 035 | _a(OCoLC)300459879 | ||
| 044 |
_axxu _aonc |
||
| 050 | 1 | 4 |
_aQA 267 _bS618i 1997 |
| 049 | _aGRAL | ||
| 100 | 1 | _aSipser, Michael. | |
| 245 | 1 | 0 |
_aIntroduction to the theory of computation / _cMichael Sipser. |
| 260 |
_aBoston ; Toronto : _bPWS, _cc1997. |
||
| 300 |
_axv, 396 p. : _bill. |
||
| 504 | _aBibliographie: p. 381-385. | ||
| 653 |
_aAutomate _aCalcul _aCalculabilite _aCalculateur _aComplexite _aFormel _aInformatique _aLangage _aMachine _aMathematique |
||
| 653 |
_aProgrammation _aTheorie |
||
| 655 | 0 | _aMachine theory. | |
| 650 | 0 | _aComputational complexity. | |
| 650 | 4 | _aComplejidad computacional. | |
| 650 | 6 | _aComplexité de calcul (Informatique) | |
| 650 | 7 |
_aComplexité de calcul (informatique). _2ram |
|
| 650 | 7 |
_aInformatique _xModáeles mathâematiques. _2ram |
|
| 650 | 7 |
_aTuring, Machines de. _2ram |
|
| 650 | 7 |
_aDécidabilité (logique mathâematique). _2ram |
|
| 650 | 7 |
_acalculabilité. _2inriac |
|
| 650 | 7 |
_aautomate. _2inriac |
|
| 650 | 7 |
_alangage formel. _2inriac |
|
| 650 | 7 |
_acomplexité calcul. _2inriac |
|
| 650 | 7 |
_athéorie machine. _2inriac |
|
| 942 |
_2lcc _cbk |
||
| 946 | _accruz | ||
| 994 |
_aC0 _bDRFGD |
||
| 999 |
_c86865 _d86865 |
||