切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
广义RUE—NRF归结
广义RUE—NRF归结
来源 :吉林大学自然科学学报 | 被引量 : 0次 | 上传用户:gaboo
【摘 要】
:
本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性,将I型,2型删除策略引入广义RUE-NRF归结。
【作 者】
:
刘叙华
【机 构】
:
吉林大学计算机科学系
【出 处】
:
吉林大学自然科学学报
【发表日期】
:
1993年1期
【关键词】
:
调解
RUE-NRF
归结
消解
广义消解
generalized resolution
paramodulation
RUE-NRF resolutio
【基金项目】
:
国家自然科学基金,国家教委博士点基金,国家863计划,国家攀登计划项目资助课题
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文将RUE-NRF归结使用在广义子句集上,提出了广义RUE-NRF归结方法,并证明了这一方法对于一阶逻辑的完备性,将I型,2型删除策略引入广义RUE-NRF归结。
其他文献
深圳:发布《住宅物业服务内容与质量规范》
10月14日,深圳市市场监督管理局下发了关于发布住宅物业服务内容与质量规范的通知,文件公布了深圳市标准化指导性技术文件《住宅物业服务内容与质量规范》,2016年11月1日起实施
期刊
住宅物业
质量规范
服务内容
深圳市
标准技术研究院
技术文件
市场监督
万科物业
《文心雕龙》中的“谶纬”考论
刘勰的《文心雕龙·正纬》篇否定和批判了谶纬,然而,《文心雕龙》中还是有着谶纬的深刻影响。如刘勰对"河图""洛书"的认识和评价,《文心雕龙》既"正纬"同时又提出"酌乎纬",对
会议
河图洛书
按经验纬
诗者持也
一代之典章
李书剑:让社会尊重物业管理行业
让业主享受到更多的"好生活"服务,打造中国物业管理领先品牌,让社会尊重物业管理行业。过去的2015年,对于河南正弘物业管理有限公司(以下简称"正弘物业")董事长李书剑来说,无疑是忙
期刊
李书
标准化工作
领先品牌
住宅物业
服务指南
商业模式创新
对客服务
儿童福利院
弘基
客服人员
环及Near—环中的微商
本文首先考虑了near-环中的一个交换性定理,然后利用Leibniz公式讨论了根在微商下的不变性及幂零、诣零微商,最后作为特例,给出在结合环中有关的几个新结果。
期刊
near-环
d-g质near-环
微商
near-ring
d-g prime near-ring
derivation
小学作文教学指导研究
<正>"文章千古事,得失寸心知"。写作看似容易,实则艰辛。小学作文教学既很重要,又很难教。当前是"微"时代,海量的信息既丰富了学生的知识,又使学生无所适从,一到写作时,学生
期刊
小学作文教学
树立窗口服务形象 打造阳光财政平台
京山县国库集中收付中心成立于2003年3月,现有干部职工25人,担负着全县336个预算单位的资金审核拨付以及近百个预算单位的会计代理核算任务,年支付财政资金近十亿元。近年来,中心
期刊
服务形象
阳光财政
窗口
国库集中收付
省级文明单位
职工综合素质
预算单位
财政资金
一类n—关系3—流形的特征
本文给出了一个(?)-关系3-流形M=V<sub>?</sub>((?)<sub>?</sub>)同胚于一个亏格为g<sup>-(?)</sup>的把体和一个边界为S<sup>2</sup>的3-流形的边界连通和的代数的和几何的充要条
期刊
n-关系3-流形
A型变换
B型变换
n-relator 3-manifold
transformation of type A and B
创新、协调、绿色、开放、共享——《2016中国物业服务百强企业研究报告》发布会在京成功召开
6月21日,《2016中国物业服务百强企业研究报告》(以下简称《研究报告》)在北京发布。《研究报告》由中国物业管理协会和中国指数研究院共同研究发布,旨在通过全面、客观地评价
期刊
研究报告
百强
行业转型
品牌知名度
资源优化整合
行业发展趋势
康桥华城 新时代新梦想——康桥华城邻里年俗文化节 记录时代美好生活
“感人心者,莫先乎情”。春节,牵动着每个中国人内心最深处的情愫,从小年到春节,贯穿其中的浓浓亲情,是家的向心力,更是一个民族的亲和力。当新春的脚步纷至沓来,渐浓的年味开始在中
期刊
美好生活
康桥
邻里
文化节
年俗
梦想
基层群众
中国人
液晶在外场中的性质
通过求解包含外场的自洽场方程,研究了液晶物质在外场中的物理性质。得到了包含外场的Landau-de Gennes自由能和由微观理论推导出来的Cotton-Mouton常数,同时研究了由外场诱导出的临界现象,并给出了临界参数
期刊
液晶
相变
临界参数
外场
自洽场方程
liquid crystals
phase change
critical parameter
external fie
与本文相关的学术论文