机读格式显示(MARC)

• 000 02291nam2 2200541 4500

• 000 1000007098

• 001 0000163428

• 003 CAL

• 005 20050125083157.0

• 007 cr mnu

• 008 910419s1990 caua b 101 0 eng d

• 020 __ |a 0818690828 (case) |c CNY42.40

• 020 __ |a 081862082X (pbk.)

• 020 __ |a 0818660821 (microfiche)

• 040 __ |a XAIT |a NRC |c NRC |d CIN |d SCT

• 090 __ |a TP3-53/E29:1:31ST(90)

• 093 __ |a TP3-53 |2 4

• 099 __ |a CAL 022000408520 |a CAL 022001459633 |a CAL 021999655153 |a CAL 022000892848 |a CAL 021999652629

• 111 2_ |a Symposium on Foundations of Computer Science |n (31st : |d 1990 : |c St. Louis, Mo.)

• 245 10 |a 31st Annual Symposium on Foundations of Computer Science : |n v.1 |b proceedings, October 22-24, 1990, St. Louis, Missouri / |c sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

• 246 14 |a 1990 IEEE 31st annual Symposium on Foundations of Computer Science

• 246 3_ |a Thirty-First Annual Symposium on Foundations of Computer Science

• 260 __ |a Los Alamitos, Calif. : |b IEEE Computer Society Press, |c c1990.

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

• 500 __ |a "IEEE catalog number 90CH29256"--T.p. verso.

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Online version also available to IEEE Xplore subscribers.

• 650 _0 |a Machine theory |v Congresses.

• 650 _0 |a Computational complexity |v Congresses.

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

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

• 856 41 |u http://ieeexplore.ieee.org/servlet/opac?punumber=310 |z Connect to 31st annual Symposium on Foundations of Computer Science (Online)

• 905 __ |a XATU |d TP3-53/E29:1:31ST(90)

• 920 __ |a 244050 |z 2

• 920 __ |a 211030 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 211130 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 211060 |z 1

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

• 920 __ |a 245010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 232010 |z 1

• 950 __ |a 261060 |f TP3-53/E29:1:31st(90)

• 991 __022005003077

• 998 __ |a SJT

• 999 __ |t C |A shenxiaoyan |a 20050125 08:29:20 |M shenxiaoyan |m 20050125 08:31:57 |G shenxiaoyan |g 20050125 08:31:5