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