000 | 00819nam#a2200217ua#4500 | ||
---|---|---|---|
008 | 800828s1981 njua|||||b||||001|0|eng|| | ||
082 |
_a511.35 _bL586E |
||
100 |
_aLewis, Harry R. _97321 |
||
245 |
_aElements of the theory of computation _cHarry R. Lewis, Christos H. Papadimitriou. |
||
260 |
_aEnglewood Cliffs, N.J. _bPrentice-Hall _cc1981. |
||
300 |
_axiv, 466 p. _bill. _c24 cm. |
||
440 |
_aPrentice-Hall software series _97322 |
||
504 | _aIncludes bibliographical references and index. | ||
650 |
_aMachine theory. _97323 |
||
650 |
_aFormal languages. _97324 |
||
650 |
_aComputational complexity. _97325 |
||
650 |
_aLogic, Symbolic and mathematical. _97326 |
||
700 |
_aPapadimitriou, Christos H. _ejoint author. _97327 |
||
906 |
_a7 _bcbc _corignew _du _eocip _f19 _gy-gencatlg |
||
910 | _aTextbook | ||
999 |
_c8980 _d8980 |