网站首页
词典首页
请输入您要查询的英文单词:
单词
Automated Reasoning
释义
Automated Reasoning
美
英
n.
自动推理
网络
自动化推理;自动证明
英汉
网络释义
n.
1.
自动推理
1.
自动推理
电脑软件高级词汇英... ... 推理模型 inference model,reasoning model
自动推理
automated reasoning
形式推理 formal reasonin…
www.for68.com
2.
自动化推理
AI研究人员认为,他们可以把新的本体创建成为计算机模型(computational models),从而成就特定类型的
自动化推理
(
auto
…
zh.wikipedia.org
3.
自动证明
自动定理证明,automatic... ... ) theorem proof 定理证明 )
automated reasoning
自动证明
) theorem prover 定理证明器 ...
www.dictall.com
例句
释义:
自动推理,自动化推理,自动证明
随便看
vaccinioides
vacciniola
Vaccin Ipad Polio
Vaccinium
Vaccinium albidens
Vaccinium angustifolium
Vaccinium arboreum
Vaccinium ardisioides
Vaccinium ashei
Vaccinium brachyandrum
Vaccinium brachybotrys
Vaccinium bracteatum
Vaccinium bracteatum Thunb.
Vaccinium brevipedicellatum
Vaccinium bulleyanum
Vaccinium carlesii
Vaccinium chaetothrix
Vaccinium chamaebuxus
Vaccinium chengae Fang
Vaccinium chunii
Vaccinium conchophyllum
Vaccinium corymbosum
Vaccinium craspedotum
Vaccinium crassivenium
Vaccinium cuspidifolium
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/14 14:47:00