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