| 单词 | 自动定理证明 |
| 释义 | 自动定理证明翻译拼音：zì dòng dìng lǐ zhèng míng英语翻译：【计】 automatic theorem proving 分词翻译：自动的英语翻译：auto; automatism; of one's own accord; self-motion 定理证明的英语翻译：【计】 theorem proving; theoremproving |
| 随便看 |
汉英词典包含397958条汉译英在线翻译词条，基本涵盖了全部常用汉语字词的英语翻译及用法，是英语学习及工作的有利工具。