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

单词	theorem proving
释义	theorem proving 【人工智能】定理验证，定理证明
随便看	histiocytoma histiocytomas histiocytosis histioid histioma histo- histochemical histochemically histochemistries histochemistry histocompatibilities histocompatibility histocompatibility antigen histocompatibility antigens galactosamines galactosan galactoscope galactose galactosemia galactosemias galactosemic galactosemics galactoses galactosidase galactosidases

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