学位:博士 性别:男 毕业院校:吉林大学 学历:博士研究生毕业 在职信息:在职 所在单位:计算机科学与技术学院、网络安全学院
项目来源:教育部高等学校博士学科点专项科研基金 项目编号:20120061120059
上一条:命题与模态逻辑的扩展规则推理与混合推理方法研究
下一条:自动规划的逻辑约束机制研究