机读格式显示(MARC)

• 000 00978nam 2200301 a 4500

• 001 0000467030

• 003 CAL

• 005 20050323145500.0

• 008 041229s1983 nyua b 001 0 eng

• 010 __ |a 83002727

• 020 __ |a 0122063805

• 040 __ |c PUL

• 050 00 |a QA267 |b .D38 1983

• 082 0_ |a 001.64/01 |2 19

• 090 __ |a TP301/D263

• 093 __ |a TP301 |2 4

• 099 __ |a CAL 022000274899 |a CAL 022000353806

• 100 1_ |a Davis, Martin, |d 1928-

• 245 10 |a Computability, complexity, and languages : |b fundamentals of theoretical computer science / |c Martin D. Davis, Elaine J. Weyuker.

• 260 __ |a New York : |b Academic Press, |c 1983.

• 300 __ |a xix, 425 p. : |b ill. ; |c 24 cm.

• 440 _0 |a Computer science and applied mathematics

• 504 __ |a Includes bibliographical references (p. 417-418) and index.

• 650 _0 |a Machine theory.

• 650 _0 |a Computational complexity.

• 650 _0 |a Formal languages.

• 700 1_ |a Weyuker, Elaine J.

• 950 __ |a JHUL |b TP301 |c D263