您的位置： 专家智库 > >

林琪

作品数：1 被引量：1H指数：1
供职机构：装备指挥技术学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇逻辑程序

机构

  • 1篇装备指挥技术...

作者

  • 1篇林琪
  • 1篇贺松云

传媒

  • 1篇指挥技术学院...

年份

  • 1篇1997
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
逻辑程序系统处理表达式的等式扩展方法被引量：1
1997年
讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。该方法已在ＳＣ－ＰＲＯＬＯＧ解释系统得到实现。
林琪贺松云
全选 清除 导出
共1页<1>
聚类工具0