英语词汇theorem proving怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	theorem proving
释义	theorem proving 【人工智能】定理验证，定理证明
随便看	high priestly high priests highprincipled high priority high profile high-profile high profiles high-proof high q high-Q cavity high quartz high-rank coal high-ranker high-rank graywacke high-ranking high relief high reliefs High Renaissance high renaissances high-residual-phosphorus copper high-resistance voltmeter high-resolution high-resolution radar high-resolutions high-resolution television

英汉双解词典包含483723条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。