| 000 | 01061nam a22002294504500 | ||
|---|---|---|---|
| 008 | 030813/19971997////////r///////////eng// | ||
| 020 | _a0387949070 | ||
| 040 |
_aSV-SoUDB _bspa |
||
| 041 | _aeng | ||
| 082 | 0 |
_a511.3 _bK69 _c1997 |
|
| 100 | 1 | 0 |
_aKozen, Dexter, _d1951- |
| 245 | 1 | 0 |
_aAutomata and Computability / _cDexter Kozen |
| 250 | _a1st ed. | ||
| 260 |
_aNEW YORK, ESTADOS UNIDOS : _bSPRINGER, _c1997 |
||
| 300 |
_axiii , 400 p. ; _c24 cm. |
||
| 520 | 0 | _aThe aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of compatibility, and to develop some of the of the models rich and varied structures. Students who have alredy some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts. | |
| 650 | 0 | 4 | _aCOMPUTABLE FUNCTIONS |
| 650 | 0 | 4 | _aCOMPUTACION |
| 650 | 0 | 4 | _aMACHINE THEORY |
| 650 | 0 | 4 | _aMATEMATICA PARA COMPUTACION |
| 942 |
_2ddc _b13/08/2003 _cL-INT _eJorge Bonilla |
||
| 999 |
_c18166 _d18166 |
||