theorem proving
短语词组
- approximate theorem -proving 近似定理证明
- theorem -proving for robot problem solving [自]机器人问题求解的定理证明
- theorem m proving 定理证明
- theorem mechanical proving 定理机器证明
- Theorem Machine Proving 定理机器证明
- mechanical theorem -proving in geometry 几何定理机器证明
- Automatic Theorem Proving [计]自动定理证明;自动定理证明英语
- theorem proving method 定理证明法 返回 theorem proving