字段 | 字段内容 |
---|---|
001 | 0100003637 |
005 | 19960306153746 |
010 | $a: 7-03-001067-1$d: ¥9.60 |
100 | $a: 19940905d1989 gk y0chiy0121 ea |
101 | $a: chi |
105 | $a: ak 000yy |
200 | $1: 0$a: 计算机科学中的逻辑学$f: 王元元编著$A: ji suan ji ke xue zhong de luo ji xue |
210 | $a: 北京$c: 科学出版社$d: 1989.9 |
215 | $a: 441页$d: 20厘米 |
330 | $a: 介绍数理逻辑的基本内容和针对计算机的应用发展出来的各种逻辑: 模态逻辑、时态逻辑、动态逻辑、模糊逻辑、非单调逻辑等、N—演算和组合逻辑。 |
606 | $a: 数理逻辑$x: 应用电子计算机$A: shu li luo ji |
690 | $a: TP31$v: 3 |
701 | $a: 王元元$4: 编著 |
905 | $a: se$f: TP3/8909$s: 3$k: l$b: 0048590$k: k1$b: 0048591$k: x2$b: 0048592 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第4511703位用户访问本系统