【resolution_principle】什么意思_英语resolution_principle的翻译_音标_读音_用法_例句_在线翻译

resolution principle

[计] 归结原理

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

基于509个网页-相关网页

消解原理

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

基于40个网页-相关网页

短语

更多收起网络短语

计算机科学技术 | 数学 | 电子、通信与自动控制技术

·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

- 来自原声例句