中英▼
go top

resolution principle

  • 分解原理

网络释义专业释义

  [计] 归结原理

...g， 该语言实现了自动推理功能，是 一种较有前途的计算机语言Prolog语言建立在一阶谓词逻辑和归结原理 （Resolution Principle）基础上，它具有自动推理功能。

基于509个网页-相关网页

  消解原理

3.4 消解原理 (resolution principle) 回顾： 原子公式（atomic formulas）:由谓词符号和若干项组成。

基于40个网页-相关网页

  [数] 分解法则

... reciprocity principle 互易原理 resolution principle 分解法则,分解原理... ultimate principle 基本原理 ...

基于24个网页-相关网页

  [数] 分解原理

... resolution principle翻译 【计】 分解法则; 分解原理 rhaphidiospore翻译 【医】 子孢子体 Rolando's cells翻译 【医】 罗朗多氏细胞(胶质神经节细胞) ...

基于22个网页-相关网页

短语

generalized resolution principle [数] 广义归结方法

sld resolution principle sld归结法

general resolution principle 广义归结

general resolution principle tree 广义归结证明树

completeness of resolution principle 消解原理的完备性

magnifying or reducing resolution principle 放缩归结原理

resolution n principle 归结原理

 更多收起网络短语
  • 归结原理 - 引用次数：21

    Further, resolution principle based on matrix calculus is proposed.4 .

    进一步，在万中提出了基于矩阵运算的归结原理。

    参考来源 - 基于神经网络的自动推理理论及方法的研究
    消解原理 - 引用次数：2

    参考来源 - 软件体系结构精化和代码生成的自动化
    分解原理
  • 归结原理 - 引用次数：12

    Resolution Principle is an important means of automatic proving of theorem.

    归结原理是定理自动证明的重要工具。

    参考来源 - 关于PI证明的若干注记以及逻辑公式的真度理论
    分解原理
    分解法则
    消解原理
  • 归结原理

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句权威例句

  • It is proved that the MOL resolution principle is complete.

    本文证明了MOL归结原理是完备的。

    youdao

  • The resolution principle is known to be a basic tool for theorem proving.

    归结原理是定理机器证明中的一种基本技术。

    youdao

  • Resolution Principle is an important means of automatic proving of theorem.

    归结原理是定理自动证明的重要工具。

    youdao

更多双语例句

  • Nevertheless, having regard to the information on the negotiating history which I have been given and to the arguments of the US Administration which I heard in Washington, I accept that a reasonable case can be made that resolution 1441 is capable in principle of reviving the authorisation in 678 without a further resolution.

    BBC: SERVICES

  • This Resolution requested governments to adopt the principle that there should be no status of limitations for crimes against a person when these are perpetrated to prevent freedom of expression but also the right of other people to receive information.

    UNESCO: MEDIA SERVICES

  • While markets may be having adverse short term reactions to Dijsselbloem statements in light of how badly the Cypriot deals were managed, the principle of a European Wide resolution regime have been in situ since a European Commission working paper was published in January 2011.

    FORBES: Cyprus: Europe Rolls the Dice on its Banks

更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定