机读格式显示(MARC)

• 000 02356nas 2200553 a 4500

• 001 0000401897

• 003 SCNU

• 005 20050717154009.0

• 008 770207c19759999nyuar1 1 a0eng d

• 010 __ |a 80646634

• 022 1_ |a 0272-5428

• 030 __ |a ASFPDV

• 035 __ |a (OCoLC)2723515

• 040 __ |a OClW |c OClW |d DLC |d PUL

• 042 __ |a lc |a nsdp

• 050 00 |a QA268.5 |b .S9a

• 082 __ |a 519.4

• 093 __ |a TP3-53 |2 4

• 099 __ |a CAL 022000222703 |a CAL 022000383635

• 111 2_ |a Symposium on Foundations of Computer Science.

• 210 0_ |a Annu. Symp. Found. Comput. Sci.

• 222 _0 |a Annual Symposium on Foundations of Computer Science

• 245 00 |a Annual Symposium on Foundations of Computer Science |b [papers].

• 246 00 |a Foundations of computer science

• 260 __ |a [New York, |b Institute of Electrical and Electronics Engineers]

• 300 __ |a v. |b ill. |c 28 cm.

• 310 __ |a Annual

• 362 0_ |a 16th- 1975-

• 500 __ |a Library has: 21st(1980), 22nd(1981)

• 510 1_ |a Index to IEEE publications |x 0099-1368

• 510 0_ |a Engineering index annual |x 0360-8557

• 550 __ |a Vols. for 1975-<79> sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing and the ACM Special Interest Group for Automata and Computability Theory, and various universities.

• 650 _0 |a Switching theory |x Congresses.

• 650 _0 |a Machine theory |x Congresses.

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

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

• 710 21 |a ACM Special Interest Group for Automata and Computability Theory.

• 710 21 |a University of California, Berkeley. |b Dept. of Electrical Engineering and Computer Sciences.

• 780 00 |t Annual Symposium on Switching & Automata Theory |x 0272-4847 |w (DLC) 80646635 |w (OCoLC)2075843

• 920 __ |a 211010 |b TP3-53 |c Sy69 |i 18th(1977), 20th(1979), 21st(1980), 22nd(1981), 23rd(1982), 24th(1983), 25th(1984), 26th(1985), 27th(1986), 28th(1987), 29th(1988), 30th(1989), 31st(1990, 2 v.),33rd(1992) |z 2

• 920 __ |a 244010 |z 1

• 920 __ |a 242010 |z 1

• 920 __ |a 242120 |z 1

• 950 __ |a SCNU |f TP3-53/S989-1

• 998 __ |a PUL

• 999 __ |t C |A gly2 |a 20050717 15:38:45 |M gly2 |m 20050717 15:40:09

• 000 1000015344

• 991 __ |a 022005010782

• 907 __ |a SCNU |f TP3-53/S989-1