网站首页
词典首页
请输入您要查询的英文单词:
单词
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
例句
释义:
机器证明,定理机器证明,机器定理证明,定理的机器证明
随便看
crecelius
Crecente
crecer
crech
creche
creches
crect
crect ear
crecy
cred
cred
-cred
creda
Credadine
credal
credazine
crede
crede maneuver
Crede method
credence
credence good
credence
credenda
credenda
Credenhill
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/10/24 13:36:21