在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
automated theorem proving
查词链接：
https://www.dute.org/dict/automated_theorem_proving复制链接 自动定理证明；定理机器证明
查看英英释义
abstract:
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.
网络释义
自动定理证明
出具证明编译器结合了传统编译器、自动定理证明（Automated Theorem Proving）和携带证明代码（Proof-CarryingCode，简称PCC）的技术，在生成汇编代 码的同时提供其满足安全规范的形式化证明，它本身不需要经...
证明
定理的机器证明（Automated Theorem Proving） 是指使用计算机证明定理成立， 即把人工证明定理的过程， 通过一套符号体系加以形式化， 变成一系列在计算机上自动实现的符号计...
定理机器证明
定理机器证明
证实
...ternational Joint Confernce on ArtificialinteIIigence）和美国数学会单独主办的，主动定理证实（Automated Theorem Proving）特殊年会上，王浩被授夺首届外程碑奖（Milestone Prize），以表扬他在数学定理机械证实研究发域中所作的首创性奉献。
常用短语
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}