当期目录

• 1993年, 第3期　刊出日期：1993-03-01 上一期    下一期
  本期栏目： 论文

论文

一个用于一阶逻辑自动定理证明的新算法

陈勇浩

1993, 15(3): 1-9. doi:

摘要 ( 311 )   PDF (261KB) ( 365 )   　　

规则基专家系统概率区间推理模式研究

刘江宁 吴泉源

1993, 15(3): 10-16. doi:

摘要 ( 275 )   PDF (176KB) ( 289 )   　　

知识库系统技术研究

贾焰 王志英

1993, 15(3): 17-22. doi:

摘要 ( 254 )   PDF (197KB) ( 353 )   　　

UNIX操作系统安全再分析

周尚德

1993, 15(3): 23-30. doi:

摘要 ( 289 )   PDF (213KB) ( 382 )   　　

Macintosh病毒及防治

蒋江 朱峻茂

1993, 15(3): 31-36. doi:

摘要 ( 301 )   PDF (181KB) ( 393 )   　　

分布的共享主存多机系统综述

窦勇 周兴铭

1993, 15(3): 37-43. doi:

摘要 ( 275 )   PDF (202KB) ( 335 )   　　

MG方法,FMG方法的自适应并行算法

欧阳洁

1993, 15(3): 44-50. doi:

摘要 ( 309 )   PDF (189KB) ( 410 )   　　

计算几何与并行算法

朱和 李晓梅

1993, 15(3): 51-59. doi:

摘要 ( 276 )   PDF (225KB) ( 371 )   　　

面向符号对象模型的版本管理系统设计方法

刘秉毅

1993, 15(3): 61-67. doi:

摘要 ( 291 )   PDF (229KB) ( 359 )   　　

逻辑与数据库技术概论

贾焰 王志英

1993, 15(3): 68-75. doi:

摘要 ( 282 )   PDF (206KB) ( 307 )   　　

COMPUTER—MOVIE：一个面向计算机教学的动画演示系统

张晨曦 张春元

1993, 15(3): 76-84. doi:

摘要 ( 293 )   PDF (259KB) ( 439 )   　　

并行化软件环境KD—PASTE

吴健安 郭克榕

1993, 15(3): 85-90. doi:

摘要 ( 287 )   PDF (167KB) ( 304 )   　　

一个通用的选票统计程序

吴涛 高德才

1993, 15(3): 91-96. doi:

摘要 ( 283 )   PDF (163KB) ( 377 )