网站首页
词典首页
请输入您要查询的英文单词:
单词
mechanical theorem proving
释义
mechanical theorem proving
美
英
un.
机器证明
网络
定理机器证明;机器定理证明;定理的机器证明
英汉
网络释义
un.
1.
机器证明
1.
定理机器证明
User:Lewix/cs... ... 过程表示 procedure representation
定理机器证明
mechanical theorem proving
归结方法 resolution method ...
zh.wikipedia.org
2.
机器定理证明
同时,逻辑理论家也开创了
机器定理证明
(
mechanical theorem proving
)这一新的学科领域。1956年夏天,正式把这一学科领域 …
baike.baidu.com
3.
定理的机器证明
provin... ... indoor proving ground 室内试验场
mechanical theorem proving
定理的机器证明
proving flight 验证试飞,验证试飞 ...
www.hujiang.com
例句
释义:
机器证明,定理机器证明,机器定理证明,定理的机器证明
随便看
sinjar
Sinjeong
sinjiangensis
Sinjil
sinjin
Sinjiri
sink
sink(1)
sinka
sink a basket
sinkability
sinkability test
sinkable
sink a feud
sinkage
sinkage dock pit
sink agency
sinkage of valve
Sinkaha
sinkaline
Sinkan
sink and float method
sink-and-float separation
sink and float test
sink and float testing
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/27 23:26:26