000 00873nam a2200253 a 4500
003 AR-LpUFIB
005 20250311170213.0
008 230201s1994 xxua r 000 0 eng d
020 _a0122063821
024 8 _aDIF-M1561
_b1625
_zDIF001554
040 _aAR-LpUFIB
_bspa
_cAR-LpUFIB
100 1 _aDavis, Martin D.
245 1 0 _aComputability, complexity, and languages :
_bfundamentals of theoretical computer science
250 _a2nd ed.
260 _aSan Diego :
_b[S.n.],
_cc1994
300 _axix, 609 p. :
_bil. ;
_c24 cm.
490 0 _aComputer science and scientific computing
500 _aIncluye lecturas recomendadas e índice de notaciones. --
505 0 _a Computability -- Grammars and Automata -- Logics -- Complexity -- Semantics.
650 4 _aTEORÍA DE LA COMPUTACIÓN
700 1 _aSigal, Ron
700 1 _aWeyuker, Elaine J.
942 _cBK
999 _c51485
_d51485