作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
推荐文章
机械化采茶技术
采茶
机械化
技术
油菜机械化种植技术
油菜
直播
移栽
收获
机械化
水稻机械化插秧技术
水稻
机械化
插秧技术
中国传统数学与数学机械化
中国传统数学
数学机械化
吴文俊
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 数学定理的机械化证明
来源期刊 高等数学研究 学科
关键词
年,卷(期) 2004,(2) 所属期刊栏目 教学参考
研究方向 页码范围 62-64
页数 3页 分类号
字数 3071字 语种 中文
DOI 10.3969/j.issn.1008-1399.2004.02.028
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (2)
2004(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(0)
  • 二级引证文献(1)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
高等数学研究
双月刊
1008-1399
61-1315/O1
16开
西安市西北工业大学内
52-192
1954
chi
出版文献量(篇)
3527
总下载数(次)
11
总被引数(次)
7332
论文1v1指导