在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
Automated reasoning
查词链接：
https://www.dute.org/dict/automated_reasoning复制链接 [计] 自动推理
查看英英释义
abstract:
Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce software that allows computers to reason completely, or nearly completely, automatically.
网络释义
自动推理
自动推理（Automated reasoning）作为计算系统按照不雅察看到的证据做出新推论的一种能力，已经引起了很多研究团体的存眷。
㯁
... 㨑 编程逻辑与验证(program logic and verification) 㯁 自动推理(automated reasoning) 㯁 编译器(compilers) ...
冲
... 僚 编程逻辑与验证(program logic and verification) 冲 自动推理(automated reasoning) 冲 编译器(compilers) ...
常用短语
更多常用短语正在查询...
{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}