中文
Login

陈发来

Click:

The Founding Time:..

The Last Update Time:..

· Scan attention

·Research Projects

Current position: Home > Scientific Research > Research Projects
973重大项目“数学机械化及其自动推理平台”二级子课题， 2001-2003，经费19万元
Release time:2021-08-03  Hits:

MOBILE Version

Copyright © 2013 University of Science and Technology of China.