定理机器证明

作品数：55被引量：64H指数：4
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：孙吉贵印鉴李莹朱兴军吴尽昭更多>>
相关机构：吉林大学中国科学院数学与系统科学研究院北京邮电大学华东师范大学更多>>
相关期刊：《系统科学与数学》《计算机技术与发展》《数学教学》《高等数学研究》更多>>
相关基金：国家自然科学基金吉林省青年科研基金中国博士后科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种新的基于扩展规则的定理证明算法被引量：17
《计算机研究与发展》2009年第1期9-14,共6页孙吉贵 李莹 朱兴军 吕帅 
国家自然科学基金项目(60773097);高等学校博士学科点基金项目(20050183065);吉林省青年科研基金项目(20080107)~~
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提...
关键词：定理机器证明 命题逻辑 扩展规则 可满足性问题 归结 
否证法十年来的发展
《计算机研究与发展》1992年第3期1-8,共8页曾云峰 
国家自然科学基金会青年基金
本文综述了定理机器证明的否证方法在近十年来的发展概况,并着重介绍了一些具有代表性的工作.
关键词：定理机器证明 否证法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部