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

单词	automatic theorem proving
释义	automatic theorem proving 简明释义自动定理证明网络释义 1 [计]?自动定理证明博弈自动定理证明（Automatic Theorem Proving）就是让计算机模拟人类证明定理的方法，自动实现象人类证明定理那样的非数值符号演算过程。 8. 短语 1 automatic theorem proving research 自动定理证明研究双语例句 1 Resolution Principle is an important means of automatic proving of theorem. 归结原理是定理自动证明的重要工具。
随便看	phalangia phalangial Phalangida phalangiform Phalangiidae phalangipus longipes Phalangist Phalangists phalangite phalangites phalangitis Phalangium Phalangium opilio phalangization Phalangization of fifth metacarpal phalango- phalangophalangeal phalangophalangeal amputation phalangosis phalansterian phalansterian phalansteries phalansterism phalanstery Phalanta phalantha

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