theorem mechanical proving
短语词组
- mechanical theorem proving [计]机器定理证明;机器证明;机器证明英语;翻译
- Mechanical geometry theorem proving 几何定理机器证明
- mechanical geometric theorem proving 几何定理的机器证明
- mechanical separator theorem proving 机器证明
- mechanical theorem -proving in geometry 几何定理机器证明 返回 theorem mechanical proving