搜索筛选:
搜索耗时2.1033秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈龙猛,郭树蓉,
来源：莱阳农学院学报 年份：1999
介绍了一个命题逻辑定理自动证明专家系统的设计与实现。对系统的整体结构，其中基于问题分解和图搜索策略的反向推理机，知识的表示与管理等关键部分所用算法与技术进行了重点论......
[期刊论文] 作者：陈龙猛,于仁师,郭树蓉,
来源：莱阳农学院学报 年份：1999
介绍了一个命题逻辑定理自动证明专家系统的设计与实现。对系统的整体结构，其中基于问题分解和图搜索策略的反向推理机、知识的表示与管理等关键部分所用算法与技术进行了重点......
相关搜索：
