助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   method of supporting aggregate 的翻译结果: 查询用时:0.217秒
图标索引 在分类学科中查询
所有学科
自动化技术
更多类别查询

图标索引 历史查询
 

method of supporting aggregate
相关语句
  支持集策略
     Proving Auto-theorem and Finding out the Answer to Questions Based on the Method of Supporting Aggregate in Sum-up Principle
     基于支持集策略实现定理证明及问题的求解
短句来源
     In artificial intelligence principle, auto-theorem and finding out the answer to questions in machine by applying the method of sum-up principle can be proved, based on the logic of one-step-predication. Actual study expatiates that the method of supporting aggregate in sum-up principle is good, simple, high efficient and self-contained way to complete theorem proof and answers finding.
     人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的"支持集策略"是一种简单、高效、完备的实现定理证明和问题求解的好方法。
短句来源
  相似匹配句对
     Method:
     浙江大学硕士学位论文方法
短句来源
     Method;
     二、实验方法:
短句来源
     The method of S.E.
     研究了 S.E.
短句来源
     By the method of C.
     并用C.
短句来源
     Supporting Facilities
     配套设施
短句来源
查询“method of supporting aggregate”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


In artificial intelligence principle, auto-theorem and finding out the answer to questions in machine by applying the method of sum-up principle can be proved, based on the logic of one-step-predication. Actual study expatiates that the method of supporting aggregate in sum-up principle is good, simple, high efficient and self-contained way to complete theorem proof and answers finding.

人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的"支持集策略"是一种简单、高效、完备的实现定理证明和问题求解的好方法。

 
图标索引 相关查询

 


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

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