中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共3条，第1-3条

帮助

条数/页：排序方式：
	语义Web中的自动推理和主动规则终止性分析学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院研究生院, 2008 徐贵红 \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2011/03/17 语义Web 自动推理描述逻辑一阶逻辑推理自动定理证明有限模型查找 ECA规则终止性约束约束求解
	模态逻辑推理的翻译方法期刊论文 OAI收割计算机研究与发展, 1998, 卷号: 35, 期号: 5, 页码: 389-392 张健 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/11 命题模态逻辑自动定理证明可满足性判定
	基于重写技术的自动定理证明期刊论文 OAI收割计算机科学, 1992, 期号: 2, 页码: 79-80,24 张健 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2010/08/11 一阶逻辑自动定理证明技术推理规则重写规则完备化过程项重写系统基本思想证明方法不等式