
主管/主办:重庆西南信息有限公司
CODEN JKIEBK


-
纯粹理性批判与人工智能
林作铨 戴汝为. 纯粹理性批判与人工智能[J]. 计算机科学, 1992, 19(5): 1-7.
- 林作铨 戴汝为
- 计算机科学. 1992, 19 (5): 1-7.
-
摘要 ( 76 )
PDF(281KB) ( 620 )
- 相关文章 | 多维度评价
-
基于对象标识的对象持久性语义
陈睿 蔡希尧. 基于对象标识的对象持久性语义[J]. 计算机科学, 1992, 19(5): 14-18.
- 陈睿 蔡希尧
- 计算机科学. 1992, 19 (5): 14-18.
-
摘要 ( 80 )
PDF(191KB) ( 425 )
- 相关文章 | 多维度评价
-
微机上实现的逻辑推理语言 Tuili 1.1
高全泉 陆汝钤. 微机上实现的逻辑推理语言 Tuili 1.1[J]. 计算机科学, 1992, 19(5): 19-25.
- 高全泉 陆汝钤
- 计算机科学. 1992, 19 (5): 19-25.
-
摘要 ( 85 )
PDF(274KB) ( 461 )
- 相关文章 | 多维度评价
-
基于Horn子句逻辑的并行推理机
吴陈. 基于Horn子句逻辑的并行推理机[J]. 计算机科学, 1992, 19(5): 26-30.
- 吴陈
- 计算机科学. 1992, 19 (5): 26-30.
-
摘要 ( 81 )
PDF(157KB) ( 444 )
- 相关文章 | 多维度评价
-
软件相似性差别准则之讨论
王桂海. 软件相似性差别准则之讨论[J]. 计算机科学, 1992, 19(5): 31-37.
- 王桂海
- 计算机科学. 1992, 19 (5): 31-37.
-
摘要 ( 103 )
PDF(267KB) ( 429 )
- 相关文章 | 多维度评价
-
大容量知识的组织质量标准及实现技术
鲁东明 何志均. 大容量知识的组织质量标准及实现技术[J]. 计算机科学, 1992, 19(5): 38-42.
- 鲁东明 何志均
- 计算机科学. 1992, 19 (5): 38-42.
-
摘要 ( 84 )
PDF(186KB) ( 414 )
- 相关文章 | 多维度评价
-
一个简单的知识编译模型
刘逸敏. 一个简单的知识编译模型[J]. 计算机科学, 1992, 19(5): 50-51.
- 刘逸敏
- 计算机科学. 1992, 19 (5): 50-51.
-
摘要 ( 77 )
PDF(72KB) ( 423 )
- 相关文章 | 多维度评价
-
机器定理证明中的一般问题
贲可荣 陈火旺. 机器定理证明中的一般问题[J]. 计算机科学, 1992, 19(5): 56-61.
- 贲可荣 陈火旺
- 计算机科学. 1992, 19 (5): 56-61.
-
摘要 ( 74 )
PDF(273KB) ( 555 )
- 相关文章 | 多维度评价
-
关系数据库语言SQL的标准化
丁宝康. 关系数据库语言SQL的标准化[J]. 计算机科学, 1992, 19(5): 62-71.
- 丁宝康
- 计算机科学. 1992, 19 (5): 62-71.
-
摘要 ( 83 )
PDF(361KB) ( 466 )
- 相关文章 | 多维度评价
-
EIS的一种开发方法及未来的发展
马芸生. EIS的一种开发方法及未来的发展[J]. 计算机科学, 1992, 19(5): 78-81.
- 马芸生
- 计算机科学. 1992, 19 (5): 78-81.
-
摘要 ( 77 )
PDF(188KB) ( 481 )
- 相关文章 | 多维度评价