机读格式显示(MARC)

• 000 01519nam 2200517 a 4500

• 001 0000397558

• 003 SCNU

• 008 830202s1983 nyua b 001 0 eng

• 010 __ |a 83002727

• 020 __ |a 0122063805

• 040 __ |c PUL

• 050 0_ |a QA267 |b .D38 1983

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

• 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 reference( p. 417-418)and index.

• 650 _0 |a Machine theory.

• 650 _0 |a Computational complexity.

• 650 _0 |a Formal languages.

• 700 10 |a Weyuker, Elaine J.

• 920 __ |a 211010 |b TP301 |c D295 |z 1

• 920 __ |a 211040 |z 1

• 920 __ |a 251030 |z 1

• 920 __ |a 231030 |b TP301 |c D263C |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 251050 |z 1

• 920 __ |a 244050 |z 2

• 920 __ |a 242120 |z 1

• 920 __ |a 215010 |z 1

• 920 __ |a 261020 |b T84 |c D263c |z 1

• 920 __ |a 243040 |z 1

• 920 __ |a 211260 |z 1

• 920 __ |a 244180 |z 2

• 950 __ |a SCNU |f TP301/D263

• 998 __ |a PUL

• 999 __ |t C |A chp |a 20050712 17:07:21 |M chp |m 20050712 17:08:08

• 000 1000010973

• 991 __ |a 022005006480

• 907 __ |a SCNU |f TP301/D263