全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
发文数量
被引数量
学者研究热点:
    引用
    筛选:
    文献类型 文献类型
    学科分类 学科分类
    发表年度 发表年度
    基金 基金
    研究层次 研究层次
    排序:
    显示:
    CNKI为你找到相关结果

    面向对象的程序设计语言  CNKI文献

    本文简要介绍了面向对象的程序设计语言的思想方法,并以Smalltalk-80为例对面向对象的程序设计的机制作了详细介绍。

    邢汉承 林阿龙 《计算机工程》 1988年04期 期刊

    关键词: 面向对象的程序设计语言 / 信息隐藏 / 数据抽象 / 存贮单元

    下载(39)| 被引(2)

    逻辑程序设计系统LOGIC  CNKI文献

    本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。...

    邢汉承 林阿龙 《计算机工程与应用》 1987年05期 期刊

    关键词: 子句集 / LOGIC / 子目标 / 目标集

    下载(6)| 被引(0)

    逻辑程序设计语言LOGLISP的实现  CNKI文献

    本文主要介绍逻辑程序设计语言LOGLISP的实现思想及采用的技术,介绍了LOGIC中的“语义合一”及“LISP归约”技术,讨论了“LISP专用形归结”原理。对“Cut”算子的实现提出了不同的思想。最后,简要说明了LOGIC中的演绎...

    林阿龙 《计算机工程》 1987年05期 期刊

    关键词: 标识符 / 知识库 / LOGLISP / 程序设计语言

    下载(6)| 被引(0)

    学术研究指数分析(近十年)详情>>

    • 发文趋势

    获得支持基金

      同机构合作作者

      其他机构合作作者

      主要合作者关系图

      时间的形状