机读格式显示(MARC)

• 000 01200nam 2200313 a 4500

• 000 1000077027

• 001 0000300951

• 005 20050610152403.0

• 008 040407r20052004cc a b 001 0 eng

• 020 __ |a 7111160533 (pb.) : |c CNY49.00

• 040 __ |a NCU |c NCU

• 090 __ |a TP302/HM/(2)

• 093 __ |a TP302 |2 4

• 099 __ |a CAL 022005052682

• 100 1_ |a Huth, Michael, |d 1962-

• 245 10 |a Logic in computer science : |b modelling and reasoning about systems = 面向计算机科学的数理逻辑 : 系统建模与推理 / |c Michael Huth, Mark Ryan.

• 246 31 |a 面向计算机科学的数理逻辑 : |b 系统建模与推理

• 250 __ |a 2nd ed.

• 260 __ |a Beijing : |b China Machine Press, |c 2005.

• 300 __ |a xvi, 427 p. : |b ill. ; |c 24 cm.

• 504 __ |a Includes bibliographical references (p.414-417) and index.

• 534 __ |p Reprint. Originally published: |c New York : Cambridge University Press, c2004. |z 052154310X.

• 650 _0 |a Computer logic.

• 650 _0 |a Logic programming (Computer science)

• 700 1_ |a Ryan, Mark, |d 1962-

• 901 __012005007890

• 905 __ |a CAU |f TP302/HM/(2) |b W0073866-7

• 907 __ |a CAU |f TP302/HM/(2) |b W0073866-7

• 999 __ |t C |A xy1 |a 20050602 10:13:09 |I wzhlc |i 20050610 15:24:03 |G wzhlc |g 20050610 15:24:0