网站首页
词典首页
请输入您要查询的英文单词:
单词
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
例句
释义:
机器证明,定理机器证明,机器定理证明,定理的机器证明
随便看
macrorhamphosodes uradoi
Macrorhamphosus
macrorhamphosus scolopax
macro-rheology
macrorheology
macro rheology
macrorhinia
macrorhiza
macrorhynchus
macro rhythm
macro rhythm
macro ring
macro ring
Macro Risk
macroroentgenogram
macroroentgenography
macro routine
macro routine
macrorrhiza
macro
macrosalb
macrosales model
macro sample
macro sample
macrosatellite
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2026/8/30 11:47:21