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

单词	theorem proving
释义	theorem proving 【人工智能】定理验证，定理证明
随便看	Methyl Propyl Ketones methyl red methyl red test methyl red tests methyl ricinoleate methylrubber methyls methyl salicylate methyl salicylates methyl silicone methyl stearate methyl sulfate methyl sulfide methylthionine chloride methylthionine chlorides methylthiouracil methyl transferase methyltrinitrobenzene methyl violet methysergide methysergides metic metical meticals metics

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