英语词汇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. 归结原理是定理自动证明的重要工具。
随便看	arête Ar?es Arāk Arāria AS. a as A-'s A/S A.S A.S as- .as as 'as a's AS. a-s AS-1 as(1) AS.12 AS2 as/400 .asa ASA

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