网站首页
词典首页
请输入您要查询的英文单词:
单词
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
例句
释义:
机器证明,定理机器证明,机器定理证明,定理的机器证明
随便看
netmeeting
netmeg
net melon
net metering
net-metering
net meter registration
net method
net migration
net migration
net-migration rate
net minesweeping gear
net moment
net monetary asset
net monetary assets
net monetary deficit
net monetary working capital
net money supply
net monitor
net morphism
net motion
net movement
net name
Net Nanny
netnanny
net national debt
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2026/3/23 2:29:02