!tvu.isPriviewMode()true showstate0
!tvu.isPriviewMode()true showstate0

吕帅Lu Shuai

(教授)
!tvu.isPriviewMode()true showstate0


学位:博士
性别:男
毕业院校:吉林大学
学历:博士研究生毕业
在职信息:在职
所在单位:计算机科学与技术学院、网络安全学院

科研项目

当前位置: 吕帅 >> 科学研究 >> 科研项目

命题与模态逻辑的扩展规则推理与混合推理方法研究

发布日期:2018-04-02 点击次数:

项目来源:国家自然科学基金青年科学基金项目
项目编号:61300049