缺省理论

作品数：22被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：张明义董明楷傅丽邓安生王国俊更多>>
相关机构：贵州科学院西南师范大学厦门大学北京航空航天大学更多>>
相关期刊：《工程数学学报》《小型微型计算机系统》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划福建省自然科学基金福建省重点科技计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
子句型自相容缺省理论的扩张被引量：2
《计算机研究与发展》2000年第2期182-187,共6页董明楷 张明义 
国家"八六三"计划基金项目!(项目编号863-306-05-05-5A);国家自然科学基金项目!(项目编号19861002)
自相容缺省理论是一种颇具优良性质的特殊缺省理论，从子句着手是一般逻辑推理常用的方法．文中在Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省理论的研究基础上，进一步研究了子句型闭自相容缺省理论．文中首先给出了自相容缺省理论的扩...
关键词：缺省逻辑 子句型缺省理论 自相容 NP问题 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部