机读格式显示(MARC)

• 000 01628nam2 2200421 4500

• 000 1000007243

• 001 0000163572

• 003 CAL

• 005 20050125095736.0

• 008 970508s1980 caua b 100 0 eng d

• 020 __ |a |c CNY6.40

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

• 090 __ |a TP3-53/E22:(80)

• 093 __ |a TP3-53 |2 4

• 099 __ |a CAL 022000340422 |a CAL 021999655147 |a CAL 021999624284

• 111 2_ |a Symposium on Foundations of Computer Science |n (21st : |d 1980 : |c Syracuse, N.Y.)

• 245 10 |a 21st Annual Symposium on Foundations of Computer Science : |b Syracuse, Oct. 13-15, 1980 / |c sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

• 246 30 |a Foundations of computer science

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

• 260 __ |a Long Beach : |b IEEE Computer Society, |c 1980.

• 300 __ |a 421 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 TP3-53/E22:(80)

• 920 __ |a 243040 |z 1

• 920 __ |a 211030 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 244180 |z 2

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

• 920 __ |a 244050 |z 2

• 950 __ |a 261060 |f TP3-53/E22:(80)

• 991 __022005003212

• 998 __ |a SJT

• 999 __ |t C |A shenxiaoyan |a 20050125 09:57:08 |M shenxiaoyan |m 20050125 09:57:36 |G shenxiaoyan |g 20050125 09:58:0