首页| English| 中国科学院

“国家自然科学基金面上”项目“几何定理机器证明的代数方法的等价性与完全性”

副标题:

时间:2017-02-10  来源:数学机械化重点实验室

项目负责人:李洪波

项目执行时间:2017.01-2020.12

经费来源:国家自然科学基金

相关附件
相关文档