网站首页
词典首页
请输入您要查询的英文单词:
单词
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
例句
释义:
自动推理,自动化推理,自动证明
随便看
asterropteryx spinosa
asterropteryx spinosus
asterrubin
aster rugulosus maxim.
aster
astersaponin
aster savatieri makino var.pygmaeus mak.
Aster scaber
aster scaber thunb.
aster shimadae
Aster souliei Franch.
aster spathuli-folius maxim
aster subulatus
aster subulatus michx.
astert
aster taiwanensis
aster takasagomontanus
aster taoyuenensis
Aster tataricus
Aster tataricus L. f.
Aster tataricus L.f.
Aster trinervius
Aster trinervius D.Don
Aster tripolium
aster tripolium l.
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/12 4:52:28