计算机科学

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

ISSN 1002-137X

CN 50-1075/TP
CODEN JKIEBK

作者中心

审稿中心

编辑中心

编辑登录

当期目录

1993年第4期, 刊出日期：2018-11-17

计算机网络与信息安全

面向对象并发程序设计的基础理论

胡国定王永革

计算机科学. 1993, 20 (4): 1-6.

摘要 ( 67 )

PDF(296KB) ( 203 )

相关文章 | 多维度评价

信任函数理论的研究进展

杜劲松黄俊杰

计算机科学. 1993, 20 (4): 7-12.

摘要 ( 61 )

PDF(278KB) ( 208 )

相关文章 | 多维度评价

相关逻辑及其推理

孙吉贵刘叙华

计算机科学. 1993, 20 (4): 13-18.

摘要 ( 63 )

PDF(192KB) ( 215 )

相关文章 | 多维度评价

自动定理证明：十年回顾

贲可荣陈火旺

计算机科学. 1993, 20 (4): 19-23.

摘要 ( 159 )

PDF(214KB) ( 359 )

相关文章 | 多维度评价

产生式系统的两个发展方向—实时产生式系统和协同产生式系统

李明树唐朔飞

计算机科学. 1993, 20 (4): 24-29.

摘要 ( 100 )

PDF(265KB) ( 219 )

相关文章 | 多维度评价

基于事例推理的检索模型研究

徐明胡守仁

计算机科学. 1993, 20 (4): 32-35.

摘要 ( 73 )

PDF(207KB) ( 196 )

相关文章 | 多维度评价

基于事例的设计推理研究

耿卫东潘云鹤

计算机科学. 1993, 20 (4): 36-39.

摘要 ( 66 )

PDF(193KB) ( 179 )

相关文章 | 多维度评价

基于面向对象的形象模型研究

吴非非潘云鹤

计算机科学. 1993, 20 (4): 40-45.

摘要 ( 52 )

PDF(235KB) ( 239 )

相关文章 | 多维度评价

基于模型的知识工程方法

叶文吕勇哉

计算机科学. 1993, 20 (4): 45-48.

摘要 ( 58 )

PDF(195KB) ( 191 )

相关文章 | 多维度评价

模糊假言推理中翻译规则的分析和比较

张延群

计算机科学. 1993, 20 (4): 49-52.

摘要 ( 56 )

PDF(111KB) ( 196 )

相关文章 | 多维度评价

九十年代软件工程展望

桑杰

计算机科学. 1993, 20 (4): 52-57.

摘要 ( 42 )

PDF(264KB) ( 188 )

相关文章 | 多维度评价

软件重用项目中的若干管理问题和对策

马宇飞周伯生

计算机科学. 1993, 20 (4): 58-62.

摘要 ( 46 )

PDF(207KB) ( 185 )

相关文章 | 多维度评价

JSD与面向对象的信息系统开发

诸葛海

计算机科学. 1993, 20 (4): 63-69.

摘要 ( 58 )

PDF(222KB) ( 230 )

相关文章 | 多维度评价

软件规范

黄林鹏孙永强

计算机科学. 1993, 20 (4): 69-72.

摘要 ( 50 )

PDF(153KB) ( 157 )

相关文章 | 多维度评价

面向过程程序中变量的封装

陈学锋王振宇

计算机科学. 1993, 20 (4): 73-77.

摘要 ( 48 )

PDF(165KB) ( 198 )

相关文章 | 多维度评价