theorem proving
短語(yǔ)詞組
- approximate theorem -proving 近似定理証明
- theorem -proving for robot problem solving [自]機(jī)器人問題求解的定理証明
- theorem m proving 定理証明
- theorem mechanical proving 定理機(jī)器証明
- Theorem Machine Proving 定理機(jī)器証明
- mechanical theorem -proving in geometry 幾何定理機(jī)器証明
- Automatic Theorem Proving [計(jì)]自動(dòng)定理証明;自動(dòng)定理証明英語(yǔ)
- theorem proving method 定理証明法 返回 theorem proving