1996年第7卷第4期目录

浏览其它刊期:

本期目录


	外部闭包及其在关系数据库中的应用
	王宇君,施伯乐,胡美琛
	1996,7(4):193-200 [摘要(4124)] [PDF 482.02 K (4040)]

	求解SAT问题的分级重排搜索算法
	刘涛,李国杰
	1996,7(4):201-210 [摘要(3628)] [PDF 656.76 K (4080)]

	DSM中一种新型Cache一致性管理算法
	房至一,鞠九滨
	1996,7(4):211-216 [摘要(3600)] [PDF 428.82 K (3646)]

	智能计算机辅助教学系统的设计
	王小辉,童頫
	1996,7(4):217-222 [摘要(3986)] [PDF 395.87 K (4667)]

	表达式的覆盖、分解与划分
	周生炳,戴汝为
	1996,7(4):223-232 [摘要(3591)] [PDF 589.34 K (4118)]

	解释学习结果的优化排序
	郝继刚,石纯一
	1996,7(4):233-237 [摘要(3743)] [PDF 308.92 K (3948)]

	使用资源利用率作为负载平衡系统的负载指标
	鞠九滨,杨鲲,徐高潮
	1996,7(4):238-243 [摘要(3990)] [PDF 414.03 K (4527)]

	一个面向对象的实时分布式语言的指称语义
	左志宏,龚天富
	1996,7(4):244-251 [摘要(3665)] [PDF 446.51 K (4131)]

	一种基于二叉树结构表达的矩形物体布局的启发式方法
	王爱虎,查建中,王金敏
	1996,7(4):252-257 [摘要(3790)] [PDF 842.82 K (4992)]