论文降重
免费查重
定理机器证明思想的产生与发展
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于领域的机器定理证明的研究
领域
分类
定理证明
知识推理
Urysoho定理的推广证明
正规空间
稠密
互斥闭集
准基
同胚
关于Lebesgue分解定理的证明
测度空间
Lebesgue积分
分解定理
现代分析
基于拼凑替换的定理机器证明的研究与实现
机器证明
人工智能
自动推理
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (13)
同被引文献 (5)
二级引证文献 (6)
2001(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2007(1)
- 引证文献（1）
- 二级引证文献（0）
2008(3)
- 引证文献（3）
- 二级引证文献（0）
2009(2)
- 引证文献（2）
- 二级引证文献（0）
2010(2)
- 引证文献（2）
- 二级引证文献（0）
2011(1)
- 引证文献（1）
- 二级引证文献（0）
2012(1)
- 引证文献（1）
- 二级引证文献（0）
2013(3)
- 引证文献（3）
- 二级引证文献（0）
2014(1)
- 引证文献（0）
- 二级引证文献（1）
2016(1)
- 引证文献（0）
- 二级引证文献（1）
2017(1)
- 引证文献（0）
- 二级引证文献（1）
2018(1)
- 引证文献（0）
- 二级引证文献（1）
2019(2)
- 引证文献（0）
- 二级引证文献（2）
引文网络交叉学科
相关学者/机构
期刊影响力
科技导报
主办单位：
中国科学技术协会
出版周期：
半月刊
ISSN：
1000-7857
CN：
11-1421/N
开本：
大16开
出版地：
北京市海淀区学院南路86号
邮发代号：
2-872
创刊时间：
1980
语种：
chi
出版文献量（篇）
11426
总下载数（次）
48
总被引数（次）
68910
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
科技导报2022
科技导报2021
科技导报2020
科技导报2019
科技导报2018
科技导报2017
科技导报2016
科技导报2015
科技导报2014
科技导报2013
科技导报2012
科技导报2011
科技导报2010
科技导报2009
科技导报2008
科技导报2007
科技导报2006
科技导报2005
科技导报2004
科技导报2003
科技导报2002
科技导报2001
科技导报2000
科技导报1999
科技导报2001年第9期
科技导报2001年第8期
科技导报2001年第7期
科技导报2001年第6期
科技导报2001年第5期
科技导报2001年第4期
科技导报2001年第3期
科技导报2001年第2期
科技导报2001年第12期
科技导报2001年第11期
科技导报2001年第10期
科技导报2001年第1期
