英语解释

自动定理证明

拼音zì dòng dìng lǐ zhèng míng

英语翻译

【计】 automatic theorem proving

分词翻译

自动的英语翻译：

auto; automatism; of one's own accord; self-motion
【计】 augomatic; automated
【医】 aut-; auto-; automatic movement; automatism; spontaneous movement
telergy

定理证明的英语翻译：

【计】 theorem proving; theoremproving

纠错

英语造句

anglophile造句 settle for造句 epitomize造句 rumanian造句 federalism造句 middle finger造句 aimlessness造句 dead person造句 restitute造句 argillite造句