在职信息：在职 所在单位：计算机科学与技术学院
项目来源：教育部高等学校博士学科点专项科研基金 项目编号：20120061120059
上一条：命题与模态逻辑的扩展规则推理与混合推理方法研究
下一条：自动规划的逻辑约束机制研究
