短語詞組短語mechanical theorem proving [計]機(jī)器定理証明;機(jī)器証明;機(jī)器証明英語;繙譯Mechanical geometry theorem proving 幾何定理機(jī)器証明mechanical geometric theorem proving 幾何定理的機(jī)器証明mechanical separator theorem proving 機(jī)器証明mechanical theorem -proving in geometry 幾何定理機(jī)器証明 返回 theorem mechanical proving