论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 大学学报期刊 \
- 武汉理工大学学报(交通科学与工程版)期刊 \
归结原理及其在数学定理证明中的应用
归结原理及其在数学定理证明中的应用
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用 .
推荐文章
局部相似原理在数学猜想及证明中的应用
优局部相似系统
广义RMI原则
猜想与证明
概率方法在数学证明中的应用
概率方法
随机模型
随机变量
FoxPro在数学证明中的应用
FoxPro
哥德巴赫猜想
圈分布图
一般隐函数组定理的证明
压缩映射
不动点定理
一般隐函数组定理
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 归结原理及其在数学定理证明中的应用 | ||
| 来源期刊 | 武汉交通科技大学学报 | 学科 | 工学 |
| 关键词 | 自动定理证明 归结原理 谓词逻辑 原子公式 置换与合一 归结式 子句集 | ||
| 年，卷（期） | 2000,（4） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 417-420 | |
| 页数 | 4页 | 分类号 | TP502 |
| 字数 | 3055字 | 语种 | 中文 |
| DOI | 10.3963/j.issn.2095-3844.2000.04.019 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (3)
同被引文献 (0)
二级引证文献 (0)
2000(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2009(1)
- 引证文献（1）
- 二级引证文献（0）
2019(1)
- 引证文献（1）
- 二级引证文献（0）
2020(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
自动定理证明
归结原理
谓词逻辑
原子公式
置换与合一
归结式
子句集
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
武汉理工大学学报(交通科学与工程版)
主办单位：
武汉理工大学
出版周期：
双月刊
ISSN：
2095-3844
CN：
42-1824/U
开本：
大16开
出版地：
武昌区和平大道1178号
邮发代号：
38-148
创刊时间：
1959
语种：
chi
出版文献量（篇）
5723
总下载数（次）
12
总被引数（次）
47608
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
武汉理工大学学报(交通科学与工程版)2022
武汉理工大学学报(交通科学与工程版)2021
武汉理工大学学报(交通科学与工程版)2020
武汉理工大学学报(交通科学与工程版)2019
武汉理工大学学报(交通科学与工程版)2018
武汉理工大学学报(交通科学与工程版)2017
武汉理工大学学报(交通科学与工程版)2016
武汉理工大学学报(交通科学与工程版)2015
武汉理工大学学报(交通科学与工程版)2014
武汉理工大学学报(交通科学与工程版)2013
武汉理工大学学报(交通科学与工程版)2012
武汉理工大学学报(交通科学与工程版)2011
武汉理工大学学报(交通科学与工程版)2010
武汉理工大学学报(交通科学与工程版)2009
武汉理工大学学报(交通科学与工程版)2008
武汉理工大学学报(交通科学与工程版)2007
武汉理工大学学报(交通科学与工程版)2006
武汉理工大学学报(交通科学与工程版)2005
武汉理工大学学报(交通科学与工程版)2004
武汉理工大学学报(交通科学与工程版)2003
武汉理工大学学报(交通科学与工程版)2002
武汉理工大学学报(交通科学与工程版)2001
武汉理工大学学报(交通科学与工程版)2000
武汉理工大学学报(交通科学与工程版)1999
武汉理工大学学报(交通科学与工程版)2000年第6期
武汉理工大学学报(交通科学与工程版)2000年第5期
武汉理工大学学报(交通科学与工程版)2000年第4期
武汉理工大学学报(交通科学与工程版)2000年第3期
武汉理工大学学报(交通科学与工程版)2000年第2期
武汉理工大学学报(交通科学与工程版)2000年第1期
