resolution theorem
- 基础释义 纠错
- 释义
分解定理
- 双语例句 更多例句
-
1、
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
来源：互联网摘选 -
2、
A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving
归结原理及其在数学定理证明中的应用
来源：互联网摘选
- 相关词组
- New Year's resolution n.新年决心；新年打算;
- lower bound theorem 下限定理
- azimuth resolution 方位角分辨;
- global convergence theorem 整体收敛性定理
- low resolution spectrometer 低分辨率分光计
- binomial theorem n.二项式定理，二项展开式;
- inertial theorem 惯性定理
- convolution theorem 卷积定理，对合定理;
- Alternative Dispute Resolution 替代性纠纷解决机制；非诉讼纠纷解决机制；替代性纠纷解决；争端解决；纠纷解决
- angular resolution 角分辨，角分辨率;
- 相关阅读
-
七年级上册英语阅读理解专项训练15（含答案解析）
英语网 · 中考英语
-
Margaret Qualley黑色露肩长裙惊艳亮相奥斯卡
英语网 · 双语娱乐资讯
-
赞达亚与荷兰弟 Tom Holland 订婚啦！
英语网 · 双语娱乐资讯
-
34岁《海扁王》亚伦·泰勒-约翰逊携家人亮相《猎人克莱文》首映礼
英语网 · 双语娱乐资讯
-
霉霉Taylor Swift格莱美红毯高清图出炉
英语网 · 双语新闻
-
霸总微短剧泛滥：广电总局出手整治“霸总”微短剧
英语网 · 双语新闻