英语词汇“theorem prover”的意思、用法、释义、翻译、读音、例句、短语、词组-英汉翻译词典

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

单词	theorem prover
释义	theorem prover 定理证明程序
随便看	osteodystrophia cystica osteodystrophia deformans osteodystrophia fibrosa osteodystrophia fibrosa generalisata osteodystrophia fibrosa localisata osteodystrophia fibrosa unilateralis osteodystrophia generalisata osteodystrophia juvenilis osteodystrophic arthropathy osteodystrophies Osteodystrophies,Renal osteodystrophy osteodystrophy fibrosa Osteodystrophy,Renal osteodystropyy osteoectasia osteoectomy osteoelastic resorption osteoencephaloma osteoenchondroma osteoendothelioma osteoepiphyseal line osteoepiphyseal portion osteoepiphysis osteofascial compartment syndrome