助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   unity programs 的翻译结果: 查询用时:0.194秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

unity programs
相关语句
  相似匹配句对
     Upholding the Dialectical Unity of the Minimum and Maximum programs of the Party
     坚持党的最低纲领与最高纲领的辩证统一
短句来源
     from single to unity;
     从单一到统一;
     On the Equivalence of Programs
     程序的等价性证明
短句来源
     Unity Square
     统一广场
短句来源
     Campus Programs
     校园规划与文化建设论略
短句来源
查询“unity programs”译词为用户自定义的双语例句

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


The first goal of this paper is to reduce the provability problem of “unless” formulas in UNITY logic to the propositional provability problem. The Second is to reduce the problem determining if satisfiability of a “unless” property in a UNITY program can be derived from that of othe “unless” properties to the strong provability problem in propositional logic. Where the notion of strong provability is a mew notion introduced in this paper.

本文的工作主要分为两部分.首先,我们把验证punlessq是否是UNITY逻辑的定理转化为一阶定理的验证.其次,设p1unlessq1,…,pnunlessqn在一UNITY程序F中成立.我们把验证punlesq在F中成立是否可由以上n个性质得出转化为强推出的验证,其中强推出是本文引进的新概念.

 
图标索引 相关查询

 


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

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