Hits:
Affiliation of Participant(s):计算机科学与工程学院
Leading Scientist:韩立权
Sub-Class of Project:符号计算与计算机推理
Type of Project:应用研究
Project Participants:孙静波,张素丽,孙卫佳,侯秀萍,王红梅,焦素云
Date of Project Approval:2003-09-22
Scheduled completion time:2004-09-22
Date of Project Completion:2004-09-22
Date of Project Initiation:2003-12-08
Subsidy Amount:2.0
