葛强, 张景中, 陈矛*, 彭翕成. 基于向量的几何可读自动证明. 计算机学报, 2014, 37(8): 1809-181 （EI，CCF A类中文期刊）
Release Time:2026-06-15
Hits:
- Date:
- 2026-06-15
- Title of Paper:
- 葛强, 张景中, 陈矛*, 彭翕成. 基于向量的几何可读自动证明. 计算机学报, 2014, 37(8): 1809-181 （EI，CCF A类中文期刊）
- Translation or Not:
- No