在职信息:在职 所在单位:计算机科学与技术学院
项目来源:吉林省青年科研基金项目 项目编号:20140520069JH
上一条:依赖知识编译的推理方法研究
下一条:命题与模态逻辑的扩展规则推理与混合推理方法研究