|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|性质继承的线性逻辑表示和推理

性质继承的线性逻辑表示和推理

黄林鹏 孙永强

计算机工程1993，Vol.19Issue(3)：1-6,6.
✕
计算机工程1993，Vol.19Issue(3)：1-6,6.

性质继承的线性逻辑表示和推理

黄林鹏 1孙永强1

作者信息

  • 折叠

摘要

关键词

性质继承/缺省推理/非单调逻辑

分类

信息技术与安全科学

引用本文复制引用

黄林鹏,孙永强..性质继承的线性逻辑表示和推理[J].计算机工程,1993,19(3):1-6,6.

基金项目

国家自然科学基金资助课题 （）

计算机工程

OA北大核心

1000-3428

访问量0
|
下载量0
段落导航相关论文