计算机科学

1974年1月创刊（月刊）
主管/主办:重庆西南信息有限公司

ISSN 1002-137X

CN 50-1075/TP
CODEN JKIEBK

作者中心

审稿中心

编辑中心

编辑登录

当期目录

1990年第6期, 刊出日期：2018-11-17

计算机网络与信息安全

John McCarthy谈专家系统

Owen,K 王献昌

计算机科学. 1990, 17 (6): 1-4.

摘要 ( 52 )

PDF(158KB) ( 270 )

相关文章 | 多维度评价

为软件工程的未来建立基础：第十二届国际软件工程会议参加记

徐家福杨冬青

计算机科学. 1990, 17 (6): 4-11.

摘要 ( 46 )

PDF(334KB) ( 290 )

相关文章 | 多维度评价

符号与代数计算的新阶段：“符号计算系统的设计与实现”（首次）国际研讨会参加

徐家福

计算机科学. 1990, 17 (6): 11-16.

摘要 ( 56 )

PDF(243KB) ( 305 )

相关文章 | 多维度评价

协议工程概论与进展

肖军模徐越彦

计算机科学. 1990, 17 (6): 16-21.

摘要 ( 57 )

PDF(242KB) ( 258 )

相关文章 | 多维度评价

形式化软件规范技术

刘少英

计算机科学. 1990, 17 (6): 21-30.

摘要 ( 52 )

PDF(361KB) ( 327 )

相关文章 | 多维度评价

非单调推理十年进展

林作铨石纯一

计算机科学. 1990, 17 (6): 31-41.

摘要 ( 56 )

PDF(462KB) ( 561 )

相关文章 | 多维度评价

限制推理及其应用

金芝胡守仁

计算机科学. 1990, 17 (6): 42-46.

摘要 ( 66 )

PDF(167KB) ( 297 )

相关文章 | 多维度评价

示例式学习的两个方法及其应用

洪家荣刘宁

计算机科学. 1990, 17 (6): 47-51.

摘要 ( 62 )

PDF(188KB) ( 368 )

相关文章 | 多维度评价

解释归约：解决多种解释问题的一种途径

张少平陈火旺

计算机科学. 1990, 17 (6): 52-55.

摘要 ( 78 )

PDF(148KB) ( 245 )

相关文章 | 多维度评价

分布式专家系统中的问题定义与分解

庄庆雨

计算机科学. 1990, 17 (6): 56-61.

摘要 ( 59 )

PDF(225KB) ( 274 )

相关文章 | 多维度评价

语义数据模型（2）

Peckh.,J 纪岳

计算机科学. 1990, 17 (6): 61-71.

摘要 ( 54 )

PDF(405KB) ( 305 )

相关文章 | 多维度评价

NF^2关系数据模型及其在工程数据建模中的应用

聂培尧

计算机科学. 1990, 17 (6): 71-76.

摘要 ( 70 )

PDF(228KB) ( 309 )

相关文章 | 多维度评价