| 000 | 00740nam a22002537a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230428162201.0 | ||
| 008 | 090503t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780122063824 | ||
| 040 |
_auniversity _bEnglish _cUniversity |
||
| 041 | _aEnglish | ||
| 082 | _a001.6401 DAV(COM) | ||
| 100 |
_aMartin D. Davis _932634 |
||
| 245 | _aComputability, complexity, and languages : fundamentals of theoretical computer science | ||
| 250 | _a2nd ed. | ||
| 260 |
_bMorgan Kaufmann, Academic Press _c2003 |
||
| 300 | _axix, 607p. (PB) | ||
| 500 | _a | ||
| 650 |
_aMachine theory _93664 |
||
| 650 |
_aComputational complexity _97361 |
||
| 650 |
_aFormal languages _924777 |
||
| 700 |
_aRon Sigal _932635 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c42869 _d42869 |
||