机读格式显示(MARC)

• 000 01175nam2 2200349 4500

• 000 0000258665

• 001 0000207566

• 003 CAL

• 005 20091022102925.0

• 008 090504r20092009cc a b 001 0 eng d

• 020 __ |a 9787115196576 (pbk.)

• 040 __ |a RUC |c RUC

• 041 0_ |a eng |b chi

• 093 __ |a TP301 |2 4

• 099 __ |a CAL 022009060511

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

• 245 10 |a Computability, complexity, and languages : |b fundamentals of theoretical computer science = 计算理论基础 : 可计算性、复杂性和语言 / |c Martin D. Davis, Ron Sigal, Elaine J. Weyuker著.

• 246 31 |a 计算理论基础 : |b 可计算性、复杂性和语言

• 250 __ |a 第2版.

• 260 __ |a 北京 : |b 人民邮电出版社, |c 2009.

• 300 __ |a 10, 609 p. : |b ill. ; |c 24 cm.

• 440 _0 |a 图灵原版计算机科学系列

• 504 __ |a Includes bibliographical references (p. [593]-594) and indexes.

• 534 __ |p Reprint. Originally published: |c Singapore : Elsevier(Singapore), 2009. |z 9789812723130.

• 650 _0 |a Computational complexity.

• 650 _0 |a Formal languages.

• 650 _0 |a Machine theory.

• 700 1_ |a Weyuker, Elaine J.

• 700 1_ |a Sigal, Ron.

• 905 __ |a DQNU |d

• 991 __202009001845

• 995