聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 《计算逻辑》中定义原理的修改与重证
出处:吉林大学学报:理学版 1987年第4期
摘要:<正> 一、定义原理及其修改 《计算逻辑》对定理机器证明的数学归纳法做了卓有成效的研究,提出了利用数学归... 显示全部
关键词: 计算逻辑 定理机器证明 数学归纳法 函数符号 良基关系 最小元素 变元 二元组 项气 记法
找到1条结果
`