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

单词	theorem proving
释义	theorem proving 【人工智能】定理验证，定理证明
随便看	decanted decanter decanters decapacitate decapacitated decapacitates decapacitating decapacitation decapeptide decapeptides decapitalization decapitalizations decapitalize decapitalized decapitalizes decapitalizing decapitate decapitated decapitates decapitating decapitation decapitations decapitator decapitators decapod

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