聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 计算逻辑中的波动策略
出处:武汉大学学报:自然科学版 1996年第1期 55-62,共8页
关键词: 定理机器证明 波动 波前 繁殖 计算逻辑
在线阅读 下载全文
期刊文章 一类构造性几何定理并行数值检验证明机(英文)
出处:广州大学学报(自然科学版) 2002年第3期
摘要:为实现构造性几何定理机器证明的数值并行法 ,作者提供了一个证明机 ,它适用于由所谓“直线程序”构造的语... 显示全部
关键词: 定理机器证明 数值并行法 直线程序
期刊文章 《计算逻辑》中定义原理的修改与重证
出处:吉林大学学报:理学版 1987年第4期
摘要:<正> 一、定义原理及其修改 《计算逻辑》对定理机器证明的数学归纳法做了卓有成效的研究,提出了利用数学归... 显示全部
关键词: 计算逻辑 定理机器证明 数学归纳法 函数符号 良基关系 最小元素 变元 二元组 项气 记法
期刊文章 本体推理在几何定理机器证明中的应用
出处:计算机技术与发展 2013年第9期78-81,共4页
摘要:文中阐述了平面几何定理机器证明的基本原理及方法,针对几何定理机器正明过程中可读证明的产生,及推理信... 显示全部
关键词: 定理机器证明 本体模型 规则 推理 领域属性
在线阅读 下载全文
找到4条结果
`