您的位置： 专家智库 > >

陕西省自然科学基金(2007F42)

作品数：1 被引量：0H指数：0
相关作者：赵克李凯董春玲更多>>
相关机构：西安电子科技大学更多>>
发文基金：陕西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇定理
  • 1篇定理证明
  • 1篇知识推理

机构

  • 1篇西安电子科技...

作者

  • 1篇董春玲
  • 1篇李凯
  • 1篇赵克

传媒

  • 1篇航空计算技术

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于领域的机器定理证明的研究
2010年
采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。
李凯董春玲赵克
关键词：定理证明知识推理
全选 清除 导出
共1页<1>
聚类工具0