限定检索结果

文献类型

  • 1篇期刊文献

馆藏范围

  • 1篇电子文献

日期分布

 

学科分类号

  • 1篇工学

主题

  • 1篇程序设计
  • 1篇逻辑程序
  • 1篇部分演绎系统

机构

  • 1篇北京工业大学

作者

  • 1篇陶意

语言

  • 1篇中文
检索条件"主题词=部分演绎系统"
1 条 记 录,以下是1-10 订阅
逻辑程序部分演绎系统的研制
收藏 引用
《北京工业大学学报》1994年 第3期20卷 109-118页
作者:陶意北京工业大学计算机科学与工程系 
介绍了如何实现一个自动化的逻辑程序部分演绎系统,在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构,并分模块描述了它们的功能和实现技术,特别对核心模块──程序部分演绎模块的算法作了较为详细的分析,最后讨论了计...
来源:详细信息评论
聚类工具 回到顶部