机读格式显示(MARC)

• 000 01203cam 2200277 a 4500

• 001 0000153596

• 003 CAL

• 005 20060905142600.0

• 008 060905s1984 nyua b 101 0 eng d

• 020 __ |a 081860591X

• 040 __ |a SJT |c SJT

• 090 __ |a 73.87083/A615Q2

• 093 __ |a TP3-53 |2 3

• 094 __ |a 73.87083 |2 3

• 099 __ |a CAL 022000312712 |a CAL 021999624286 |a CAL 022001120010

• 111 2_ |a Symposium on Foundations of Computer Science |n (25th : |d 1984 : |c Singer Island, Fla.)

• 245 10 |a 25th Annual Symposium on Foundations of Computer Science : |b Oct 24-26, 1984 / |c sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

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

• 246 30 |a Foundations of computer science

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

• 300 __ |a xii, 518 p. : |b ill. ; |c 28 cm.

• 504 __ |a Includes bibliographical references and index.

• 650 _0 |a Switching theory |v Congresses.

• 650 _0 |a Machine theory |v Congresses.

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

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