| 字段 | 字段内容 |
|---|---|
| 001 | 0100057380 |
| 005 | 20080709111059.0 |
| 010 | $a: 978-7-111-21397-0$d: CNY39.00 |
| 100 | $a: 20080702d2007 ekmy0chiy0121 ea |
| 101 | $a: chi$c: eng |
| 102 | $a: CN$b: 110000 |
| 105 | $a: ak a 000yy |
| 106 | $a: r |
| 200 | $a: 面向计算机科学的数理逻辑$A: mian xiang ji suan ji ke xue de shu li luo ji$d: Logic in computer science$e: modelling and reasoning about systems$E: modelling and reasoning about system$e: 系统建模与推理$e: 原书第2版$f: (德) Michael Huth, (英) Mark Ryan著$g: 何伟, 樊磊译$z: eng |
| 210 | $a: 北京$c: 机械工业出版社$d: 2007 |
| 215 | $a: xii, 277页$c: 图$d: 26cm |
| 225 | $a: 计算机科学丛书$A: ji suan ji ke xue cong shu |
| 305 | $a: 据原书2004年英文版第2版译出 |
| 306 | $a: 本书简体字中文版由英国剑桥大学出版社授权机械工业出版社独家出版 |
| 320 | $a: 有书目 (第275-277页) |
| 330 | $a: 本书主要内容包括: 命题逻辑; 谓词逻辑; 通过模型检测进行验证; 程序验证; 模态逻辑与代理; 二叉判定图等几部分。 |
| 333 | $a: 计算机学习者 |
| 410 | $1: 2001 $a: 计算机科学丛书 |
| 500 | $1: 0$a: Logic in computer science:modelling and reasoning about systems$A: Logic in computer science:modelling and reasoning about system$m: Chinese |
| 517 | $a: 系统建模与推理$A: xi tong jian mo yu tui li |
| 606 | $a: 数理逻辑$A: shu li luo ji$x: 高等学校$j: 教材 |
| 690 | $a: O141$v: 4 |
| 701 | $a: 瑞安$A: rui an$g: (Ryan, Mark)$4: 著 |
| 702 | $a: 樊磊$A: fan lei$4: 译 |
| 801 | $a: CN$b: 三新书业$c: 20080702 |
| 905 | $a: BUCTL$b: C828297-300$r: CNY39.00$d: O141$e: 16(C) |
| 999 | $a: ygz$b: 4$e: 200832 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第48279354位用户访问本系统