论文部分内容阅读
本文将RUE－NRF归结使用在广义子句集上，提出了广义RUE－NRF归结方法，并证明了这一方法对于一阶逻辑的完备性，将I型，2型删除策略引入广义RUE－NRF归结。
广义RUE—NRF归结
【摘 要】
：
本文将RUE－NRF归结使用在广义子句集上，提出了广义RUE－NRF归结方法，并证明了这一方法对于一阶逻辑的完备性，将I型，2型删除策略引入广义RUE－NRF归结。
【机 构】
：
吉林大学计算机科学系
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1993年1期
【基金项目】
：
国家自然科学基金,国家教委博士点基金,国家863计划,国家攀登计划项目资助课题
其他文献
10月14日，深圳市市场监督管理局下发了关于发布住宅物业服务内容与质量规范的通知，文件公布了深圳市标准化指导性技术文件《住宅物业服务内容与质量规范》，2016年11月1日起实施
刘勰的《文心雕龙·正纬》篇否定和批判了谶纬,然而,《文心雕龙》中还是有着谶纬的深刻影响。如刘勰对"河图""洛书"的认识和评价,《文心雕龙》既"正纬"同时又提出"酌乎纬",对
让业主享受到更多的＂好生活＂服务,打造中国物业管理领先品牌,让社会尊重物业管理行业。过去的2015年,对于河南正弘物业管理有限公司（以下简称＂正弘物业＂）董事长李书剑来说,无疑是忙
本文首先考虑了near-环中的一个交换性定理,然后利用Leibniz公式讨论了根在微商下的不变性及幂零、诣零微商,最后作为特例,给出在结合环中有关的几个新结果。
<正>"文章千古事,得失寸心知"。写作看似容易,实则艰辛。小学作文教学既很重要,又很难教。当前是"微"时代,海量的信息既丰富了学生的知识,又使学生无所适从,一到写作时,学生
期刊
京山县国库集中收付中心成立于2003年3月，现有干部职工25人，担负着全县336个预算单位的资金审核拨付以及近百个预算单位的会计代理核算任务，年支付财政资金近十亿元。近年来，中心
本文给出了一个（?）-关系3-流形M=V<sub>?</sub>(（?）<sub>?</sub>)同胚于一个亏格为g<sup>-（?）</sup>的把体和一个边界为S<sup>2</sup>的3-流形的边界连通和的代数的和几何的充要条
6月21日,《2016中国物业服务百强企业研究报告》（以下简称《研究报告》）在北京发布。《研究报告》由中国物业管理协会和中国指数研究院共同研究发布,旨在通过全面、客观地评价
“感人心者，莫先乎情”。春节，牵动着每个中国人内心最深处的情愫，从小年到春节，贯穿其中的浓浓亲情，是家的向心力，更是一个民族的亲和力。当新春的脚步纷至沓来，渐浓的年味开始在中
通过求解包含外场的自洽场方程，研究了液晶物质在外场中的物理性质。得到了包含外场的Ｌａｎｄａｕ－ｄｅ Ｇｅｎｎｅｓ自由能和由微观理论推导出来的Ｃｏｔｔｏｎ－Ｍｏｕｔｏｎ常数，同时研究了由外场诱导出的临界现象，并给出了临界参数