| 000 | 01224 a2200253 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20220802114215.0 | ||
| 010 | _a 87015876 | ||
| 020 | _a0521343062 | ||
| 040 | _cNust | ||
| 082 | 0 | 0 | _a005.1,CHA |
| 100 | 1 |
_aChaitin, Gregory J. _964813 |
|
| 245 | 1 | 0 |
_aAlgorithmic information theory / _cGregory J. Chaitin. |
| 260 |
_aCambridge [Cambridgeshire] ; _aNew York : _bCambridge University Press, _c1987. |
||
| 300 |
_ax, 175 p. ; _c25 cm. |
||
| 440 | 0 |
_aCambridge tracts in theoretical computer science ; _v1 _996226 |
|
| 505 | _aIntroduction (Page-1), Formalisms For Computation (Page-6), The Arithmetization (Page-7), The Arithmetization Of Register Machines (Page-7), A Version Of Pure LISP (Page-51), The LISP Interpreter EVAL (Page-69), Conceptual Development (Page-91), Program Size (Page-106), Randomness (Page-127), Incompleteness (Page-144). | ||
| 650 | 0 |
_aComputational complexity. _939112 |
|
| 650 | 0 |
_aLISP (Computer program language) _990414 |
|
| 650 | 0 |
_aMachine theory. _918056 |
|
| 856 | 4 | 1 |
_3Publisher description _uhttp://www.loc.gov/catdir/description/cam023/87015876.html |
| 856 | 4 | 1 |
_3Table of contents _uhttp://www.loc.gov/catdir/toc/cam031/87015876.html |
| 942 |
_2ddc _cBK _k005.1,CHA |
||
| 999 |
_c176502 _d176502 |
||