短語詞組短語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