| 000 | 01118nam a22002897ar4500 | ||
|---|---|---|---|
| 001 | 3155 | ||
| 003 | UTEM | ||
| 005 | 20260921144607.0 | ||
| 008 | 920709s1981 us 001 0 eng d | ||
| 020 | _a0132734176 | ||
| 040 |
_aclsautm _cclsautm |
||
| 082 | 1 | 4 |
_a001.64 _bL674 |
| 100 | 1 |
_aLewis, Harry R. _915900 |
|
| 245 | 1 | 0 |
_aElements of the theory of computation / _cHarry R. Lewis, Christos H. Papadimitriou. |
| 260 |
_aNew Jersey : _bPrentice-Hall, _c1981. |
||
| 300 | _axiv, 466 p. | ||
| 500 | _aIncludes index. | ||
| 504 | _aReferences [bibliographical]: p. 457-458. | ||
| 505 | 0 | _aChapter 1. Sets, relations, and languages; Chapter 2. Finite automata; Chapter 3. Context-free languages; Chapter 4. Turing machines; Chapter 5. Church's thesis; Chapter 6. Uncomputability; Chapter 7. Computational complexity; Chapter 8. The propositional calculus; Chapter 9. The predicate calculus. | |
| 650 | 4 |
_aCOMPUTADORES ELECTRONICOS _915901 |
|
| 650 | 0 |
_aCOMPUTACION _913368 |
|
| 700 | 1 |
_aPapadimitriou, Christos H. _99099 |
|
| 904 | _aRosana | ||
| 905 | _a21055-BB | ||
| 907 | _aClaudia | ||
| 942 |
_2ddc _cLIB |
||
| 999 |
_c3155 _d3155 |
||