短語詞組短語mechanical theorem proving [計]機器定理證明;機器證明;機器證明英語;翻譯Mechanical geometry theorem proving 幾何定理機器證明mechanical geometric theorem proving 幾何定理的機器證明mechanical separator theorem proving 機器證明mechanical theorem -proving in geometry 幾何定理機器證明 返回 theorem mechanical proving