短語詞組短語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)定理證明英語theorem proving method 定理證明法 返回 theorem proving