所属单位：电气与电子工程学院

负责人姓名：邵向鑫

项目分类：吉林省教育厅

项目子类：符号计算与计算机推理

研究类别：应用研究

项目参与人员：姚清华,田野,谢慕君,孟慧,陈戈华,商婷婷,刘一铮

项目编号：yxt

立项时间：2013-01-05

计划完成时间：2014-12-21

结项日期：2015-11-22

项目批准号：2013150

资助额度(万元)：2.0