论文降重
免费查重
推荐文章
逻辑系统中重言式及广义重言式的关系
重言式
广义重言式
多值逻辑系统
参数Kleene系统
子代数
模糊模态命题逻辑及其广义重言式
模糊逻辑
模糊模态命题逻辑
广义重言式
启发式方法生成命题逻辑可读证明
命题逻辑
启发式方法
试探法
自然推理法
可读证明
相干命题逻辑自然推理系统NR的自动证明
相干命题
自然推理
自动证明
可读证明
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1993(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
命题逻辑
蕴涵重言式
传递性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
教学与科技
主办单位：
中国工程物理研究院
职工工学院
出版周期：
季刊
ISSN：
CN：
开本：
出版地：
四川省绵阳市科学城工学院
邮发代号：
创刊时间：
语种：
出版文献量（篇）
1153
总下载数（次）
9
总被引数（次）
0
期刊文献
相关文献
推荐文献
