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

吕帅Lyu Shuai

!tvu.isPriviewMode()true showstate0


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

科研项目

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

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

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

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