期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
广义RUE-NRF归结的配锁
1
作者 刘叙华 陈斌 《吉林大学自然科学学报》 CAS CSCD 1993年第2期45-46,共2页
本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上.
关键词 广义归结 rue-nrf归结 配锁
下载PDF
NC－RUE－NRF归结 被引量：25
2
作者 刘叙华 孙吉贵 《软件学报》 EI CSCD 北大核心 1995年第2期65-68,共4页
本文提出了ＮＣ－ＲＵＥ－ＮＲＦ归结方法，并证明了它在含有等词广义子句集上的完备性．
关键词 rue-nrf归结 广义 NC-rue-nrf归结
下载PDF
关于strong形RUE－NRF归结的反倒
3
作者 欧阳丹彤 刘叙华 《计算机学报》 EI CSCD 北大核心 1994年第5期399-400,共2页
关于ｓｔｒｏｎｇ形ＲＵＥ－ＮＲＦ归结的反倒欧阳丹彤，刘叙华（吉林大学计算机科学系长春１３００２３）ＡＣＯＵＮＴＥＲＥＸＡＭＰＬＥＯＦＲＵＥ－ＮＲＦＲＥＳＯＬＵＴＩＯＮＩＮＳＴＲＯＮＧＦＯＲＭ￥ＯｕｙａｎｇＤａｎｔｏｎ... 关于ｓｔｒｏｎｇ形ＲＵＥ－ＮＲＦ归结的反倒欧阳丹彤，刘叙华（吉林大学计算机科学系长春１３００２３）ＡＣＯＵＮＴＥＲＥＸＡＭＰＬＥＯＦＲＵＥ－ＮＲＦＲＥＳＯＬＵＴＩＯＮＩＮＳＴＲＯＮＧＦＯＲＭ￥ＯｕｙａｎｇＤａｎｔｏｎｇａｎｄＬｉｕＸｕｈｕａ（Ｄｅｐａ... 展开更多
关键词 strong形 rue-nrf归结 图理论
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部