机读格式显示(MARC)

• 000 01632nam2 2200409 4500

• 000 1000007364

• 001 0000163686

• 003 CAL

• 005 20050125105414.0

• 008 970508s1981 nyua b 100 0 eng d

• 020 __ |a |c CNY6.50

• 040 __ |a XAIT |a SJT |c SJT

• 090 __ |a TP301-53/E32:22

• 093 __ |a TP301-53 |2 4

• 099 __ |a CAL 022000340468 |a CAL 021999652626 |a CAL 021999655148 |a CAL 021999624285

• 111 2_ |a Symposium on Foundations of Computer Science |n (22nd : |d 1981 : |c Nashville, Tenn.)

• 245 10 |a 22nd Annual Symposium on Foundations of Computer Science : |b the symposium held in Nashville, Tenn., Oct. 28-30, 1981 / |c sponsored by IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

• 246 30 |a Foundations of computer science

• 246 3_ |a Twenty-Second Annual Symposium on Foundations of Computer Science

• 260 __ |a New York : |b IEEE, |c 1981.

• 300 __ |a 429 p. : |b ill. ; |c 28 cm.

• 504 __ |a Includes bibliographical references.

• 650 _0 |a Machine theory |v Congresses.

• 650 _0 |a Electronic data processing |v Congresses.

• 650 _0 |a Switching theory |v Congresses.

• 710 2_ |a IEEE Computer Society. |b Technical Committee on Mathematical Foundations of Computing.

• 905 __ |a XATU |d TP301-53/E32:22

• 920 __ |a 211130 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 244180 |z 2

• 920 __ |a 231030 |b TP3-53 |c I59S 1981 |z 1

• 920 __ |a 244050 |z 1

• 950 __ |a 261060 |f TP301-53/E32:22

• 991 __022005003327

• 998 __ |a SJT

• 999 __ |t C |A shenxiaoyan |a 20050125 10:53:46 |M shenxiaoyan |m 20050125 10:54:14 |G shenxiaoyan |g 20050125 10:54:3