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

吕帅Lyu Shuai

!tvu.isPriviewMode()true showstate0


在职信息:在职
所在单位:计算机科学与技术学院

科研项目

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

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

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

项目来源:教育部高等学校博士学科点专项科研基金
项目编号:20120061120059