计算机科学

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

ISSN 1002-137X

CN 50-1075/TP
CODEN JKIEBK

作者中心

审稿中心

编辑中心

编辑登录

当期目录

1992年第2期, 刊出日期：2018-11-17

计算机网络与信息安全

认识论应当成为人工智能的主要基础：兼评当前国际上关于人工智能基础之论争

洪家荣

计算机科学. 1992, 19 (2): 1-5.

摘要 ( 51 )

PDF(218KB) ( 378 )

相关文章 | 多维度评价

理由维护系统的研究

方思行

计算机科学. 1992, 19 (2): 6-14.

摘要 ( 39 )

PDF(401KB) ( 338 )

相关文章 | 多维度评价

基于C^＋＋的良好OOP风格法则

章远阳杨芙清

计算机科学. 1992, 19 (2): 15-19.

摘要 ( 62 )

PDF(168KB) ( 268 )

相关文章 | 多维度评价

ELF类型理论及其应用

王飓安李未

计算机科学. 1992, 19 (2): 20-24.

摘要 ( 53 )

PDF(182KB) ( 291 )

相关文章 | 多维度评价

情景逻辑与时态逻辑在知识处理中的应用

王克宏胡篷

计算机科学. 1992, 19 (2): 25-28.

摘要 ( 57 )

PDF(139KB) ( 262 )

相关文章 | 多维度评价

拓广属性文法

李中华施丽华

计算机科学. 1992, 19 (2): 28-33.

摘要 ( 59 )

PDF(219KB) ( 251 )

相关文章 | 多维度评价

OBMS／IDKE：模型及其无缝的面向对象编程语言

唐元昌王珊

计算机科学. 1992, 19 (2): 33-43.

摘要 ( 55 )

PDF(434KB) ( 278 )

相关文章 | 多维度评价

OBMS／IDKE的动态模式管理

王宗斌王珊

计算机科学. 1992, 19 (2): 44-49.

摘要 ( 55 )

PDF(229KB) ( 254 )

相关文章 | 多维度评价

OBMS／IDKE中对象存储／存取子系统的若干关键问题

王珊任永杰

计算机科学. 1992, 19 (2): 49-55.

摘要 ( 57 )

PDF(277KB) ( 245 )

相关文章 | 多维度评价

人类智能与人工智能

刘庆波

计算机科学. 1992, 19 (2): 55-59.

摘要 ( 51 )

PDF(204KB) ( 292 )

相关文章 | 多维度评价

计算学习理论及其应用（1）

张鸿宾

计算机科学. 1992, 19 (2): 59-63.

摘要 ( 51 )

PDF(189KB) ( 245 )

相关文章 | 多维度评价

解释学习的效用问题

黄通何志均

计算机科学. 1992, 19 (2): 64-68.

摘要 ( 168 )

PDF(203KB) ( 275 )

相关文章 | 多维度评价

基于归纳的机器学习方法的实现研究

罗翊王克宏

计算机科学. 1992, 19 (2): 69-74.

摘要 ( 84 )

PDF(241KB) ( 304 )

相关文章 | 多维度评价

实例学习与解释学习的结合

唐雁邱玉辉

计算机科学. 1992, 19 (2): 74-78.

摘要 ( 58 )

PDF(177KB) ( 270 )

相关文章 | 多维度评价

基于重写技术的自动定理证明

张健

计算机科学. 1992, 19 (2): 79-80.

摘要 ( 53 )

PDF(121KB) ( 252 )

相关文章 | 多维度评价

机器证明的困难所在

程显毅

计算机科学. 1992, 19 (2): 81-81.

摘要 ( 61 )

PDF(101KB) ( 874 )

相关文章 | 多维度评价