相关推荐 更多>
-
- 合情推理与发现逻辑
- 作者：张文修；陈雁
- 馆藏单位：西安交通大学
- 资源类型：当代图书
-
- 专家系统中的不确定推理：模型、方法和理论
- 作者：罗旭东著
- 馆藏单位：浙江大学
- 出版时间：1995-06
- 资源类型：当代图书
-
- 归纳法推理中推理策略的研究及基于mJVM模型的程序验证
- 作者：金涛
- 馆藏单位：武汉大学
- 出版时间：2000-04-08
- 资源类型：当代学位论文