网站首页
词典首页
请输入您要查询的英文单词：
单词
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
例句
释义:
机器证明,定理机器证明,机器定理证明,定理的机器证明
随便看
liability reserve
Liability Retroact
liability risk
liability rule
liability salvage
liability scheme
liability-sharing
liability structure
liability swap
liability system
liability to
liability to an outsider
liability to equity ratio
liability to give evidence
liability to national taxation
liability to outsiders
liability to pay compensation
liability to prime
liability to punishment
liability to secured creditors
liability to total assets ratio
liability under pending lawsuits
liability under product warrants
liability with interest
liability without fault
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2026/10/11 11:47:50