计算机科学

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.

摘要 ( 79 )

PDF(158KB) ( 452 )

相关文章 | 多维度评价

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

徐家福杨冬青

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

摘要 ( 71 )

PDF(334KB) ( 464 )

相关文章 | 多维度评价

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

徐家福

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

摘要 ( 78 )

PDF(243KB) ( 653 )

相关文章 | 多维度评价

协议工程概论与进展

肖军模徐越彦

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

摘要 ( 79 )

PDF(242KB) ( 435 )

相关文章 | 多维度评价

形式化软件规范技术

刘少英

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

摘要 ( 77 )

PDF(361KB) ( 545 )

相关文章 | 多维度评价

非单调推理十年进展

林作铨石纯一

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

摘要 ( 79 )

PDF(462KB) ( 856 )

相关文章 | 多维度评价

限制推理及其应用

金芝胡守仁

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

摘要 ( 99 )

PDF(167KB) ( 461 )

相关文章 | 多维度评价

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

洪家荣刘宁

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

摘要 ( 86 )

PDF(188KB) ( 579 )

相关文章 | 多维度评价

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

张少平陈火旺

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

摘要 ( 103 )

PDF(148KB) ( 441 )

相关文章 | 多维度评价

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

庄庆雨

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

摘要 ( 89 )

PDF(225KB) ( 451 )

相关文章 | 多维度评价

语义数据模型（2）

Peckh.,J 纪岳

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

摘要 ( 79 )

PDF(405KB) ( 887 )

相关文章 | 多维度评价

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

聂培尧

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

摘要 ( 94 )

PDF(228KB) ( 496 )

相关文章 | 多维度评价