字段 | 字段内容 |
---|---|
001 005 010 100 101 102 105 106 200 210 215 225 320 330 410 606 690 701 801 905 999 |
0199053616 20030410104908.0 $a: 7-302-05637-4$d: CNY20.00 $a: 20021108d2002 em y0chiy0120 ea $a: chi $a: CN$b: 110000 $a: ak a 000yy $a: r $a: 定性推理方法$A: ding xing tui li fang fa $f: 石纯一, 廖士中 $a: 北京$c: 清华大学出版社$d: 2002 $a: Ⅺ, 197页$c: 图$d: 26cm $a: 中国计算机学会学术著作丛书$A: zhong guo ji suan ji xue hui xue shu zhu zuo cong shu $a: 有书目(第188-197页)。 $a: 本书详细而系统地介绍了定性推理的发展历史及当前的主要研究方向,讨论了写性推理的基本方法,阐述了有关定性代数等内容。 $1: 2001 $a: 中国计算机学会学术著作丛书 $a: 推理$x: 人工智能 $a: TP181$v: 4 $a: 廖士中$A: liao shi zhong $4: 著 $a: CN$b: BUPT$c: 20030410 $a: BUPT$b: 854947-9$d: TP181$e: S495$r: CNY20.00 $a: 4$b: 3$e: 20030059 |
北京创讯未来软件技术有限公司 版权所有 ALL RIGHTS RESERVED 京ICP备 09032139
欢迎第6419263位用户访问本系统