代数等式理论的自动定理证明计算机科学导论一讲课件

- 代数等式理论的自动定理证明计算机科学导论第一讲 - 计算机科学技术学院陈意云0551-63607043, yiyun@ustc.edu.cnhttp://staff.ust