1996年第7卷第4期目录
外部闭包及其在关系数据库中的应用王宇君,施伯乐,胡美琛1996,7(4):193-200 [摘要(4124)] [PDF(4061)482.02 K][HTML(0)]求解SAT问题的分级重排搜索算法刘涛,李国杰1996,7(4):201-210 [摘要(3629)] [PDF(4094)656.76 K][HTML(0)]DSM中一种新型Cache一致性管理算法房至一,鞠九滨1996,7(4):211-216 [摘要(3600)] [PDF(3658)428.82 K][HTML(0)]智能计算机辅助教学系统的设计王小辉,童頫1996,7(4):217-222 [摘要(3986)] [PDF(4682)395.87 K][HTML(0)]表达式的覆盖、分解与划分周生炳,戴汝为1996,7(4):223-232 [摘要(3592)] [PDF(4132)589.34 K][HTML(0)]解释学习结果的优化排序郝继刚,石纯一1996,7(4):233-237 [摘要(3744)] [PDF(3964)308.92 K][HTML(0)]使用资源利用率作为负载平衡系统的负载指标鞠九滨,杨鲲,徐高潮1996,7(4):238-243 [摘要(3993)] [PDF(4542)414.03 K][HTML(0)]一个面向对象的实时分布式语言的指称语义左志宏,龚天富1996,7(4):244-251 [摘要(3667)] [PDF(4146)446.51 K][HTML(0)]一种基于二叉树结构表达的矩形物体布局的启发式方法王爱虎,查建中,王金敏1996,7(4):252-257 [摘要(3791)] [PDF(5007)842.82 K][HTML(0)]