助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   parent clause 的翻译结果: 查询用时:0.175秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

parent clause
相关语句
  “parent clause”译为未确定词的双语例句
     This paper presents the lock-semantic resolution, namely the LI-resolution, in order to improve the disadvantage of IDI-resolution principle of type 2, for which the set of clauses in first-order logic is completed. This disadvantage is that in IDI-resolution only the literal resolved upon one parent clause is restricted, but the literal resolved upon another parent clause is not.
     为了改进对于一阶逻辑中子句集是完备的2型IDI-归结原理的一个缺点,即在IDI归结中,只对其中一个亲本子句的归结文字有所限制,对另一个亲本子句的归结文字没有任何限制,本文提出了锁语义归结,简称LI-归结。
短句来源
  相似匹配句对
     The Himalaya Clause
     喜马拉雅条款研究
短句来源
     On the Ellipsis in As Clause
     浅议“as从句”中的省略现象
短句来源
     Compared with that of the parent strain K.
     与出发菌株K.
短句来源
     Parent-adolescent Conflicts
     青少年期亲子冲突的特点
短句来源
查询“parent clause”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  parent clause
We investigate properties ofk-resolution, a restricted version of resolution in which one parent clause must have length at mostk.
      
The first one is a reduction that can be used when the resulting label is smaller than the parent clause to be deleted.
      
In the second version, the clause is simplified, but the parent clause is not deleted.
      


This paper presents the lock-semantic resolution, namely the LI-resolution, in order to improve the disadvantage of IDI-resolution principle of type 2, for which the set of clauses in first-order logic is completed. This disadvantage is that in IDI-resolution only the literal resolved upon one parent clause is restricted, but the literal resolved upon another parent clause is not. In the LI-resolution as well as in lock resolution, the literals resolved upon two parent clauses all have the...

This paper presents the lock-semantic resolution, namely the LI-resolution, in order to improve the disadvantage of IDI-resolution principle of type 2, for which the set of clauses in first-order logic is completed. This disadvantage is that in IDI-resolution only the literal resolved upon one parent clause is restricted, but the literal resolved upon another parent clause is not. In the LI-resolution as well as in lock resolution, the literals resolved upon two parent clauses all have the minimum lock in that clause. This paper also proves that the LI-resolution principle is completed with a set of clauses in first-order logic with the specified lock way.By using the notion of lemma, the LI-deduction have been linearly sorted. Thus the TLI-deduction is introduced.

为了改进对于一阶逻辑中子句集是完备的2型IDI-归结原理的一个缺点,即在IDI归结中,只对其中一个亲本子句的归结文字有所限制,对另一个亲本子句的归结文字没有任何限制,本文提出了锁语义归结,简称LI-归结。即在这种语义归结原理中,象锁归结过程一样,每一次归结的两个亲本子句中的归结文字,都是该子句中有最小锁的文字,并证明了以一种固定的配锁方法,LI-归结原理对于一阶逻辑中的子句集是完备的。 使用引理的概念,将LI-演绎进行线性整理,从而引进了TLI-演绎的概念。

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关parent clause的内容
在知识搜索中查有关parent clause的内容
在数字搜索中查有关parent clause的内容
在概念知识元中查有关parent clause的内容
在学术趋势中查有关parent clause的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社