自动定理证明

【计】 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