计算机科学

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

ISSN 1002-137X

CN 50-1075/TP
CODEN JKIEBK

作者中心

审稿中心

编辑中心

编辑登录

当期目录

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

计算机网络与信息安全

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

洪家荣

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

摘要 ( 194 )

PDF(218KB) ( 669 )

相关文章 | 多维度评价

理由维护系统的研究

方思行

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

摘要 ( 186 )

PDF(401KB) ( 646 )

相关文章 | 多维度评价

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

章远阳杨芙清

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

摘要 ( 186 )

PDF(168KB) ( 511 )

相关文章 | 多维度评价

ELF类型理论及其应用

王飓安李未

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

摘要 ( 211 )

PDF(182KB) ( 557 )

相关文章 | 多维度评价

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

王克宏胡篷

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

摘要 ( 183 )

PDF(139KB) ( 535 )

相关文章 | 多维度评价

拓广属性文法

李中华施丽华

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

摘要 ( 148 )

PDF(219KB) ( 585 )

相关文章 | 多维度评价

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

唐元昌王珊

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

摘要 ( 200 )

PDF(434KB) ( 550 )

相关文章 | 多维度评价

OBMS／IDKE的动态模式管理

王宗斌王珊

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

摘要 ( 190 )

PDF(229KB) ( 533 )

相关文章 | 多维度评价

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

王珊任永杰

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

摘要 ( 196 )

PDF(277KB) ( 538 )

相关文章 | 多维度评价

人类智能与人工智能

刘庆波

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

摘要 ( 172 )

PDF(204KB) ( 564 )

相关文章 | 多维度评价

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

张鸿宾

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

摘要 ( 164 )

PDF(189KB) ( 620 )

相关文章 | 多维度评价

解释学习的效用问题

黄通何志均

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

摘要 ( 331 )

PDF(203KB) ( 535 )

相关文章 | 多维度评价

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

罗翊王克宏

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

摘要 ( 235 )

PDF(241KB) ( 589 )

相关文章 | 多维度评价

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

唐雁邱玉辉

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

摘要 ( 214 )

PDF(177KB) ( 527 )

相关文章 | 多维度评价

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

张健

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

摘要 ( 193 )

PDF(121KB) ( 493 )

相关文章 | 多维度评价

机器证明的困难所在

程显毅

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

摘要 ( 199 )

PDF(101KB) ( 1251 )

相关文章 | 多维度评价