基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
推荐文章
相干命题逻辑自然推理系统NR的自动证明
相干命题
自然推理
自动证明
可读证明
本体推理在几何定理机器证明中的应用
定理机器证明
本体模型
规则
推理
领域属性
相干命题逻辑自然推理系统NR的自动证明
相干命题
自然推理
自动证明
可读证明
SWRL推理规则在平面几何证明中的应用
OWL DL
SWRL
平面几何
Jess
推理规则
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 推理与证明
来源期刊 新世纪智能 学科 教育
关键词
年,卷(期) xsjzn_2020,(19) 所属期刊栏目
研究方向 页码范围 27-28
页数 2页 分类号 G4
字数 语种
DOI
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2020(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
引文网络交叉学科
相关学者/机构
期刊影响力
新世纪智能
其它
2096-6806
32-1878/G4
16开
南京市湖南路1号A楼20层
28-318 28-372 28-373
2018
chi
出版文献量(篇)
4010
总下载数(次)
6
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
新世纪智能2020年第60期 新世纪智能2020年第59期 新世纪智能2020年第58期 新世纪智能2020年第57期 新世纪智能2020年第56期 新世纪智能2020年第55期 新世纪智能2020年第54期 新世纪智能2020年第53期 新世纪智能2020年第52期 新世纪智能2020年第51期 新世纪智能2020年第50期 新世纪智能2020年第5期 新世纪智能2020年第49期 新世纪智能2020年第48期 新世纪智能2020年第47期 新世纪智能2020年第46期 新世纪智能2020年第45期 新世纪智能2020年第44期 新世纪智能2020年第43期 新世纪智能2020年第42期 新世纪智能2020年第41期 新世纪智能2020年第4期 新世纪智能2020年第35期 新世纪智能2020年第34期 新世纪智能2020年第33期 新世纪智能2020年第32期 新世纪智能2020年第31期 新世纪智能2020年第30期 新世纪智能2020年第3期 新世纪智能2020年第29期 新世纪智能2020年第28期 新世纪智能2020年第27期 新世纪智能2020年第26期 新世纪智能2020年第25期 新世纪智能2020年第24期 新世纪智能2020年第23期 新世纪智能2020年第22期 新世纪智能2020年第21期 新世纪智能2020年第20期 新世纪智能2020年第2期 新世纪智能2020年第19期 新世纪智能2020年第18期 新世纪智能2020年第17期 新世纪智能2020年第16期 新世纪智能2020年第15期 新世纪智能2020年第14期 新世纪智能2020年第13期 新世纪智能2020年第12期 新世纪智能2020年第11期 新世纪智能2020年第1期
中国医药指南 中华护理杂志 中国组织工程研究 中华医院感染学杂志 中国实用医药 护理研究 中国老年学杂志 中国妇幼保健 中国实用护理杂志 现代中西医结合杂志 中国中药杂志 中草药 中国医药导报 护理学杂志 护士进修杂志 当代医学 中国全科医学 中华医学杂志 时珍国医国药 山东医药 实用医学杂志 重庆医学 齐鲁护理杂志 中华现代护理杂志 吉林医学 中国现代药物应用 中国实验方剂学杂志 中国药房 现代预防医学 实用临床医药杂志 中国现代医生 中华中医药学刊 中华心血管病杂志 中华结核和呼吸杂志 世界胃肠病学杂志(英文版) 中国当代医药 临床合理用药杂志 中成药 中华外科杂志 中国中西医结合杂志 中国校外教育 教学与管理 化学教育(中英文) 语文教学通讯 数学学习与研究 语文教学与研究 江苏教育研究 校园英语 新课程学习(中) 中学语文 新课程学习(下) 课外语文 中学历史教学参考 中学物理 名师在线 学苑教育 中学生英语 中学生英语 中学生英语 中学生英语 当代教研论丛 语文天地 中学数学杂志 中学课程辅导(教师教育) 考试研究 青少年日记(教育教学研究) 现代基础教育研究 理科考试研究 教育研究与评论(中学教育教学) 作文成功之路(中考冲刺) 湖北招生考试 英语学习 英语学习 英语学习 网络科技时代 湖南中学物理 学子(理论版) 中学历史教学 语文月刊 班主任之友(中学版)
论文1v1指导