×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
在这里添加一些文本
关闭
×
Toggle navigation
计算机科学
首页
关于本刊
期刊介绍
学术指标
学术荣誉
编委会
道德声明
OA政策
期刊订阅
联系我们
English
现代模态逻辑在计算机科学中的应用研究
陈志远,黄少滨,韩丽丽
Research on Applications of Modern Modal Logic in Computer Science
CHEN Zhi-yuan,HUANG Shao-bin and HAN Li-li
计算机科学 . 2013, (
Z6
): 70 -76 .