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

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

帮助

条数/页：排序方式：
	The B4-valued propositional logic with unary logical connectives ～1 /～2/┐ 期刊论文 OAI收割中国计算机科学前沿：英文版, 2017, 卷号: 11.0, 期号: 005, 页码: 887 作者: Li Wei; Sui Yuefei \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 命题逻辑连接演绎系统布尔代数三元
	基于布尔语义的Gentzen推导模型期刊论文 OAI收割计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2023/12/04 布尔代数命题逻辑不等式完备性
	关于可满足性问题的一些研究及其在模型检测中的应用学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 陈伟 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2010/06/04 命题逻辑证明系统，OBDD证明系统，鸽笼问题，限界模型检测，CTL
	语义Web中描述逻辑本体的可伸缩推理和非一致处理学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2009 杜剑峰 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/03/17 语义Web 本体描述逻辑可伸缩性非一致处理一阶逻辑析取Datalog 命题逻辑非一致容忍推理字典序推理
	纤维逻辑期刊论文 OAI收割计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 1 作者: 邱莉榕; 杨柳; 史忠植 \| 收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 形式逻辑 BDI逻辑多模态逻辑纤维逻辑模态逻辑纤维可能世界语义命题逻辑人工智能复杂性
	由一阶逻辑公式得到命题逻辑可满足性问题实例期刊论文 OAI收割软件学报, 2005, 卷号: 16, 期号: 3, 页码: 327-335 黄拙; 张健 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/11 可满足性问题一阶逻辑命题逻辑 satisfiabilityproblem first-orderlogic propositionallogic
	一阶逻辑模型搜索问题研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004 黄拙收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/17 可满足性问题一阶逻辑命题逻辑有限模型
	有限信念集上修正的一种方法期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 5, 页码: 911-917 栾尚敏; 戴国忠 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/06/01 信念修正命题逻辑一阶逻辑有限信息集