机读格式显示(MARC)

• 000 01515nam2 2200409 4500

• 000 1000007371

• 001 0000163692

• 003 CAL

• 005 20050125105536.0

• 008 961004s1977 nyua b 101 0 eng d

• 020 __ |a |c CNY4.00

• 040 __ |a XAIT |a NKL |c NKL

• 082 __ |a 519.4

• 090 __ |a TP301-53/E32

• 093 __ |a TP301-53 |2 4

• 099 __ |a CAL 021999624282

• 111 2_ |a Symposium on Foundations of Computer Science |n (18th : |d 1977 : |c Providence, Rhode Island)

• 245 10 |a 18th Annual Symposium on Foundations of Computer Science.

• 246 3_ |a Foundations of computer science

• 246 3_ |a Eighteenth Annual Symposium on Foundations of Computer Science

• 260 __ |a New York : |b IEEE Computer Society Press, |c 1977.

• 300 __ |a v, 269 p. : |b ill. ; |c 29 cm.

• 500 __ |a "Sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing."--Foreword.

• 504 __ |a Includes bibliographical references and indexes.

• 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

• 920 __ |a 244050 |z 2

• 920 __ |a 243040 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 215010 |z 1

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

• 991 __022005003333

• 998 __ |a NKL

• 999 __ |t C |A shenxiaoyan |a 20050125 10:55:10 |M shenxiaoyan |m 20050125 10:55:36 |G shenxiaoyan |g 20050125 10:56:0