| 000 |
|
00976nam0 2200241 450 |
| 020 |
__ |
■a7111160533 (pbk.) :■cCNY49.00 |
| 040 |
__ |
■aNCU■cNCU■dSCT |
| 093 |
__ |
■aTP3■24 |
| 100 |
1_ |
■aHuth, Michael,■d1962- |
| 245 |
10 |
■aLogic in computer science :■bmodelling and reasoning about+...... |
| 246 |
31 |
■a面向计算机科学的数理逻辑 :■b系统建模与推理 |
| 250 |
__ |
■a2nd ed. |
| 260 |
__ |
■a北京 :■bChina Machine Press,■c2005. |
| 300 |
__ |
■axvi, 427 p. :■bill., ports. ;■c24 cm. |
| 440 |
_0 |
■aHZ books |
| 440 |
_0 |
■a经典原版书库 |
| 504 |
__ |
■aIncludes bibliographical references (p. 414-417) and index+...... |
| 534 |
__ |
■b2nd ed.■cNew York : Cambridge University Press, 2004.■pRep+...... |
| 650 |
_0 |
■aLogic programming (Computer science) |
| 650 |
_0 |
■aComputer logic. |
| 700 |
1_ |
■aRyan, Mark,■d1962- |
| 905 |
|
■aGSXY■gW005610■gW005611■gW005612■fTP3/EH536=2 |
| 950 |
__ |
■aGSXY■fTP3/EH536=2 |
| 999 |
__ |
■tC■Alwq3■a20080903 16:22:41■Mlwq3■m20080903 16:23:49 |
(共0票)
评价
