高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
逻辑程序部分演绎系统的研制
作者：
收录：
摘要：
介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
1996，计算机研究与发展
1997，北京工业大学学报
1994，软件学报
1997，计算机学报
来源 ：
北京工业大学学报
年份： 1994
期： 03
页码： 109-118
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次：
中文被引频次：
近30日浏览量： 3
归属院系：
信息学部 计算机学院
全文获取
外部链接：
