• 2026年07月14日 08:20:45
  • 周二
精确
  • 模糊
  • 词首
  • 词尾
  • 词义
  • 例句
1、

A Rudimentary Research: Resolution Principle and Its Application in Mathematical Theorem Proving

归结原理及其在数学定理证明中的应用

互联网摘选

2、

Application of Chinese Remainder Theorem to radar range ambiguity resolution

用孙子定理求解雷达测距模糊性

互联网摘选

3、

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

互联网摘选

  • 今日热词
  • 热门搜索
推荐阅读 更多>
resolution theorem相关阅读 人教版初三英语上册1-14单元课文汇总（带翻译） resolution theorem相关阅读 英语作文我的暑假两篇（带中文） resolution theorem相关阅读 高考英语：阅读高频词汇大全 resolution theorem相关阅读 2024年6月大学四级英语常考词汇之医学药物 resolution theorem相关阅读 “贝碧嘉”成75年来登陆上海最强台风 resolution theorem相关阅读 《杀死比尔》硬汉Michael Madsen离婚大战升级：“逼死”爱子！
分类词汇 更多>

英语网英语词典(dict.25820.com)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务！可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

英语词典 | 英语阅读 | 高考英语 | 商务英语 | 汉语字典 | 汉语词典 | 成语词典 | 拼音查字典 | 部首查字典 | 笔画查字典 | 常用字大全 | 次常用字表 | 多音字大全 | 现通表汉字 | 标准字体表 | 拼音转换器
最新热词: lofter | inspire | mother | preserve | wildlife | joy | should | approve | walk | disturbing | confuse | vague | step-mother | Spain | ki

英语网学习工具软件为您提供全方位语言学习支持，涵盖英语词典、汉语字典、汉语词典、成语词典、拼音转换、古诗词查询、英文缩写等多种实用工具，满足您不同场景下的学习需求。客服QQ:13825271(微信同号)

英语网为您提供全面的语言学习支持，涵盖英语词典、汉语字典、汉语词典、成语词典、拼音转换、古诗词查询、英文缩写等多种实用工具。

最新热词: lofter | inspire | mother | preserve

首页| 英语词典| 汉语词典| 成语词典| 新华字典| 英文缩写| 组词| 造句| 近反义词| 诗词大全| 拼音转换| 反馈

友链合作联系QQ:13825271

t.25820.com ©2026

用户反馈
请选择反馈类型（可多选）：
您的联系方式：
反馈内容：
提交成功 小编会尽快处理
回到顶部
点击反馈