学位：博士 性别：男 毕业院校：吉林大学 学历：博士研究生毕业 在职信息：在职 所在单位：计算机科学与技术学院、网络安全学院
项目来源：中国博士后科学基金面上资助项目 项目编号：2011M500612
上一条：命题逻辑和模态逻辑的扩展规则推理方法研究
