定理證明機(jī)
拼音dìng lǐ zhèng míng jī
英語翻譯
【計(jì)】 theoremproving machine
分詞翻譯
定理證明的英語翻譯：
【計(jì)】 theorem proving; theoremproving
機(jī)的英語翻譯：
chance; crucial point; engine; machine; occasion; organic; pivot; plane
flexible
【醫(yī)】 machine
0
糾錯
英語造句
最新應(yīng)用
