重写归纳推理技术
点击次数：
第一作者：钟发荣
发表时间：1998-01-01
发表刊物：计算机应用与软件
所属单位：数理与信息工程学院
文献类型：期刊
卷号：第15卷
期号：第5期
页面范围：25-31
ISSN号：1000-386X
关键字：重写归纳推理；一致性判别
摘要：本文采用Knuth-Bendix(KB)完备化和一致性判别这两种方法,讨论和总结重写归纳推理的实现技术。
是否译文：否
上一条：消除有限容量演算中的强干扰
下一条：用π-演算描述网络考试系统
个人信息 Personal information
职称：教授
学历：博士研究生毕业
毕业院校：上海交通大学
在职信息：退休
所在单位：计算机科学与技术学院
入职时间：1986-07-01