计算机科学 - oalib

OALib Journal期刊
ISSN: 2333-9721
费用：99美元

投递稿件

为什么选择我们？ >>

- 开源期刊

- 同行审议

- 快速出刊

- 终身存储

- 免费检索

- 免费推广

- 更多...

- 搜索引擎

计算机科学

ISSN Print: 1002-137X

ISSN Online:

主页: http://www.oaj.cas.cn/cn/journal_home.aspx?my_jid=1002-137X&journal_name=计算机科学

分享:

数据库查询理论

范明

一个简单的知识编译模型

刘逸敏

机器定理证明中的一般问题

贲可荣,陈火旺

神经网络的知识表示

王继成,吕维雪

推理式分布数据库管理系统T—POREL及其实现

高全泉,柴兴无

异构型分布式计算机系统技术

薛行,孙钟秀

微机上实现的逻辑推理语言 Tuili 1.1

高全泉,陆汝钤

逻辑中的元级概念

王献昌

DKBS／IDKE的知识处理

庥占全,颜宗福

面向对象的分布式OS设计模型

何炎祥,刘栋臣

反编译技术研究现状及面临的问题

刘宗田,陈福安

ELF类型理论及其应用

王飓安,李未

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

唐雁,邱玉辉

一个以Ada为核心的面向对象的开发系统

陈辉,王振宇

关于物理符号机制与联接机制的集成

施鸿宝

分布式知识库系统研究

苏俊

数据库并行处理技术中的几个问题

杨利

分布式数据库管理系统C—POREL之回顾（2）

周龙骧

函数程序设计语言用于快速原型

梅宏,孙永强

关系数据库语言SQL的标准化

丁宝康

面向对象的可视知识研究

何克清,马江

九十年代初CASE的研究现状

R.J.Norman,徐仁佐

Fortran新标准的主要特征及面向过程语言的生命力问题

郭浩志

并发模型的比较研究

肖育东

类型理论和程序设计

李未,王飓安

自知逻辑与非单调推理

黄智生

支持多介质数据库的NF2方法

田沧海,林钧海

理由维护系统的研究

方思行

面向对象程序设计风范与软件开发方法

麦中凡

程序设计新工具：N—S—Z图结构化技术

周启海

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

王克宏,胡篷

基于Horn子句逻辑的并行推理机

吴陈

论用户模拟问题

林珊,姜新法

大容量知识的组织质量标准及实现技术

鲁东明,何志均

线性逻辑和逻辑式程序设计

黄林鹏,孙永强

一种新的知识表达方法：概念结构

白振兴

EIS的一种开发方法及未来的发展

马芸生

增强CASE环境的表达方法

应晶,何志均

模块、抽象数据类型和类

梅宏,孙永强

第十四届国际软件工程会议概况

董士海,郑国梁

需求工程的形式化途径

钱家骅,吕建国

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

王珊,任永杰

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

唐元昌,王珊

人类智能与人工智能

刘庆波

并行计算的软件环境与硬件结构

朱福民

面向对象基本概念之探讨

王志坚

伯克利大学的数据库研究

Michael,Stonebrak

信息系统的面向对象分析

郭江

基于知识的自动程序设计系统XAPS

唐永明

编译型PROLOG数据库的结构模型及其分析

车敦仁

©2008-2020 OALib, Inc | Public user content licensed CC-BY 4.0 unless otherwise specified. OALib ISSN Online: 2333-9721 OALib ISSN Print: 2333-9705