网站首页
词典首页
请输入您要查询的英文单词:
单词
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
例句
释义:
自动推理,自动化推理,自动证明
随便看
keep the baby
keep the ball
keep the ball rolling
keep the ball roll ng
keep the ball up
Keep the beacon on port side!
Keep the bed
keep the books
Keep the buoy on port side!
keep the cash
keep the center of the tree moderately open
keep the change
keep the enemy on the jump
keep the faith
keep the field
keep the fine qualities of
keep the fire under
keep the flag flying
keep the home fires burning
keep the horse
keep the house
keep their eyes open
keep their feet
keep their footing
keep their heads
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/14 12:23:23