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