机读格式显示(MARC)

• 000 00945cam a2200301 a 4500

• 001 0000576537

• 003 CAL

• 005 20070621145000.0

• 008 061017r20061997cc b 001 0 eng d

• 020 __ |a 7111197720

• 040 __ |a NMU |c NMU |d SCT

• 082 04 |a 005.1/01/5113 |2 20

• 090 __ |a O141/N451(C=2)

• 093 __ |a O141 |2 4

• 093 __ |a TP301 |2 4

• 099 __ |a CAL 022006109973

• 100 1_ |a Nerode, Anil, |d 1932-

• 245 10 |a Logic for applications = |b 应用逻辑 / |c Anil Nerode, Richard A. Shore著.

• 246 31 |a 应用逻辑

• 260 __ |a 北京 : |b China Machine Press, |c 2006.

• 300 __ |a xiii, 456 p. : |b ill. ; |c 25 cm.

• 440 _0 |a 经典原版书库

• 440 _0 |a HZ books

• 534 __ |p Reprint. Originally published: |c New York : Springer, c1997. |b 2nd ed. |z 0387948937 (hc : alk. paper)

• 650 _0 |a Computer science |x Mathematics.

• 650 _0 |a Logic, Symbolic and mathematical.

• 700 1_ |a Shore, Richard A., |d 1946-

• 950 __ |a JHUL |b O141 |c N451(C=2)