论文降重
免费查重
推荐文章
内置谓词函数依赖及其推理规则
函数依赖
内置谓词
推理规则
逻辑蕴涵
可靠性
完备性
并发系统中谓词行为图的行为时序逻辑表达
并发性
规约
谓词行为图
行为时序逻辑
PKI信任模型的条件谓词逻辑推理
公开密钥基础设施
信任
信任模型
谓词逻辑
命题逻辑及谓词逻辑推理证明中的化归法
命题逻辑
谓词逻辑
化归法
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2004(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
谓词逻辑
量词
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中国教育研究
主办单位：
中国教育研究会
中华成功者研究会
北京清大世界教育科学研究院
出版周期：
月刊
ISSN：
1727-0499
CN：
98-0315/G4
开本：
出版地：
北京2083信箱
邮发代号：
创刊时间：
语种：
出版文献量（篇）
1182
总下载数（次）
5
总被引数（次）
0
期刊文献
相关文献
推荐文献
