自動(dòng)定理證明
拼音zì dòng dìng lǐ zhèng míng
英語翻譯
【計(jì)】 automatic theorem proving
分詞翻譯
自動(dòng)的英語翻譯：
auto; automatism; of one's own accord; self-motion
【計(jì)】 augomatic; automated
【醫(yī)】 aut-; auto-; automatic movement; automatism; spontaneous movement
telergy
定理證明的英語翻譯：
【計(jì)】 theorem proving; theoremproving
0
糾錯(cuò)
英語造句
最新應(yīng)用
