机读格式显示(MARC)

• 000 00521nam2 2200181 4500

• 001 0000234718

• 020 __ |a 0-8186-0793-9 |c ￥24.70

• 041 0_ |a eng

• 093 __ |a TP301-53 |v 4

• 245 1_ |a Proceedigs |c Symposium on Logic in Compute Science (1987 : Ithaca , N.Y.) |g |A PROCEEDI |F SYMPOSIU,NY

• 250 __ |a

• 260 __ |a New York |b IEEE |c 1987

• 300 __ |a XI, 361c28cm

• 440 0_ |a

• 700 _0 |a Symposium on Logic in Compute Science (1987 : Ithaca , N.Y.) |A SYMPOSIU,NY |4 著

• 851 _0 |a CN |b HIEL

• 905 __ |a HIEL |d TP301-53/S3

• 999 __ |b 1