论文部分内容阅读
本文讨论了 Knuth-Bendix 完备化过程的一些理论问题和实现技术,同时,分析完备化过程终止的成功率,进而讨论完备化过程在教学科研中应用的可行性.
Knuth-Bendix完备化过程的实现及其有效性
【摘 要】
：
本文讨论了 Knuth-Bendix 完备化过程的一些理论问题和实现技术,同时,分析完备化过程终止的成功率,进而讨论完备化过程在教学科研中应用的可行性.
【机 构】
：
兰州大学计算中心兰州730000
【出 处】
：
兰州大学学报
【发表日期】
：
1992年S1期
其他文献
对呼和浩特机场2002-2016年近15年降雪过程的环流形势特征进行归纳分类,结果表明:降雪的天气过程环流形势可分为两类六型,强冷空气类分为贝加尔湖气旋低槽型,蒙古气旋低槽型
现代高性能航空发动机对压气机提出了更高的要求,高效率、高单级压比、宽稳定工作范围是未来轴流压气机发展的目标。在轴流压气机中,叶片表面附面层分离流、转子叶尖泄漏流、
《广西北部湾经济区发展规划》提出，经过10年到15年的努力．广西经济要实现“合理的产业结构基本形成，三次产业协调发展”的目标。这对广西来说既是机遇又是挑战。如何抓住当前的
肩关节周围炎（简称肩周炎）是临床上较常见的一种慢性疼痛疾病。肩周炎不是独立的疾病,而是由肩关节周围肌肉、肌健、滑囊和关节囊等软组织的慢性炎症、粘连,引起的以肩关节周围
学习者的课堂参与行为与学习动机都会对其英语学习产生直接或间接的影响。通过问卷和访谈的调查方式,探讨非英语专业新生英语课堂参与行为的特点、高低分组学生学习动机的差
背景脂联素是一种脂肪细胞因子,与心血管疾病有关;骨质疏松以骨量减少、骨结构退化为主要病理改变,但目前关于二者与冠心病(CAD)及其病变严重程度的关系鲜有报道。目的探讨脂
医院集团化发展模式,是目前医院管理的新生课题,也是未来医院市场化、规模化经营发展的趋势。医院集团化发展,有利于整合医疗资源,提高卫生资源的利用率,有利于提高区域医疗
苏宁基于无人货架进行了技术升级,通过人脸识别、重力感应、智能库存管理等技术的运用,用户只需要“刷脸、货柜自动开门、自助取货、重力感应自动结算”四步就可完成购物,全
目前由于我国贯彻计划生育政策、独生子女化的社会现象日益突出,对优生优育带来一些好处,同时也引起了一些不足。据国内外心理学者研究表明,独生子女在行为和性格上容易形成