论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 高中生学习：高三文科期刊 \
推理与证明
推荐文章
相干命题逻辑自然推理系统NR的自动证明
相干命题
自然推理
自动证明
可读证明
本体推理在几何定理机器证明中的应用
定理机器证明
本体模型
规则
推理
领域属性
相干命题逻辑自然推理系统NR的自动证明
相干命题
自然推理
自动证明
可读证明
SWRL推理规则在平面几何证明中的应用
OWL DL
SWRL
平面几何
Jess
推理规则
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 推理与证明 | ||
| 来源期刊 | 高中生学习：高三文科 | 学科 | 教育 |
| 关键词 | 不等式 乒乓球 归纳推理 类比推理 数学归纳法 推理能力 重要目标 证明 高中数学课程 演绎推理 | ||
| 年，卷（期） | 2012,（2） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 43-46,64 | |
| 页数 | 5页 | 分类号 | G634.6 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
不等式
乒乓球
归纳推理
类比推理
数学归纳法
推理能力
重要目标
证明
高中数学课程
演绎推理
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
高中生学习：高三文科
主办单位：
出版周期：
其它
ISSN：
1674-4772
CN：
开本：
出版地：
邮发代号：
创刊时间：
语种：
出版文献量（篇）
1388
总下载数（次）
3
总被引数（次）
0
期刊文献
相关文献
推荐文献
