主管/主办:重庆西南信息有限公司
CODEN JKIEBK
当期目录-
纯粹理性批判与人工智能
林作铨 戴汝为. 纯粹理性批判与人工智能[J]. 计算机科学, 1992, 19(5): 1-7.
- 林作铨 戴汝为
- 计算机科学. 1992, 19 (5): 1-7.
-
摘要
(
120 )
PDF(281KB) (
668
)
- 相关文章 | 多维度评价
-
基于对象标识的对象持久性语义
陈睿 蔡希尧. 基于对象标识的对象持久性语义[J]. 计算机科学, 1992, 19(5): 14-18.
- 陈睿 蔡希尧
- 计算机科学. 1992, 19 (5): 14-18.
-
摘要
(
116 )
PDF(191KB) (
471
)
- 相关文章 | 多维度评价
-
微机上实现的逻辑推理语言 Tuili 1.1
高全泉 陆汝钤. 微机上实现的逻辑推理语言 Tuili 1.1[J]. 计算机科学, 1992, 19(5): 19-25.
- 高全泉 陆汝钤
- 计算机科学. 1992, 19 (5): 19-25.
-
摘要
(
124 )
PDF(274KB) (
497
)
- 相关文章 | 多维度评价
-
基于Horn子句逻辑的并行推理机
吴陈. 基于Horn子句逻辑的并行推理机[J]. 计算机科学, 1992, 19(5): 26-30.
- 吴陈
- 计算机科学. 1992, 19 (5): 26-30.
-
摘要
(
121 )
PDF(157KB) (
486
)
- 相关文章 | 多维度评价
-
软件相似性差别准则之讨论
王桂海. 软件相似性差别准则之讨论[J]. 计算机科学, 1992, 19(5): 31-37.
- 王桂海
- 计算机科学. 1992, 19 (5): 31-37.
-
摘要
(
137 )
PDF(267KB) (
472
)
- 相关文章 | 多维度评价
-
大容量知识的组织质量标准及实现技术
鲁东明 何志均. 大容量知识的组织质量标准及实现技术[J]. 计算机科学, 1992, 19(5): 38-42.
- 鲁东明 何志均
- 计算机科学. 1992, 19 (5): 38-42.
-
摘要
(
113 )
PDF(186KB) (
460
)
- 相关文章 | 多维度评价
-
一个简单的知识编译模型
刘逸敏. 一个简单的知识编译模型[J]. 计算机科学, 1992, 19(5): 50-51.
- 刘逸敏
- 计算机科学. 1992, 19 (5): 50-51.
-
摘要
(
108 )
PDF(72KB) (
472
)
- 相关文章 | 多维度评价
-
机器定理证明中的一般问题
贲可荣 陈火旺. 机器定理证明中的一般问题[J]. 计算机科学, 1992, 19(5): 56-61.
- 贲可荣 陈火旺
- 计算机科学. 1992, 19 (5): 56-61.
-
摘要
(
113 )
PDF(273KB) (
599
)
- 相关文章 | 多维度评价
-
关系数据库语言SQL的标准化
丁宝康. 关系数据库语言SQL的标准化[J]. 计算机科学, 1992, 19(5): 62-71.
- 丁宝康
- 计算机科学. 1992, 19 (5): 62-71.
-
摘要
(
117 )
PDF(361KB) (
508
)
- 相关文章 | 多维度评价
-
EIS的一种开发方法及未来的发展
马芸生. EIS的一种开发方法及未来的发展[J]. 计算机科学, 1992, 19(5): 78-81.
- 马芸生
- 计算机科学. 1992, 19 (5): 78-81.
-
摘要
(
113 )
PDF(188KB) (
523
)
- 相关文章 | 多维度评价
首页


