1994年第5卷第11期目录

浏览其它刊期:

本期目录


	图形分布处理支撑环境DGPSE
	石教英,潘志庚,何志均
	1994,5(11):1-6 [摘要(3658)] [PDF 401.58 K (4325)]

	中文页面描述语言文本管理器的设计与实现
	徐福培,张炜
	1994,5(11):7-15 [摘要(3916)] [PDF 562.66 K (4750)]

	Sidle的远程执行设备
	徐高潮,鞠九滨
	1994,5(11):16-22 [摘要(3843)] [PDF 151.28 K (4076)]

	推理维护系统的Petri网模型
	林闯,陆维明
	1994,5(11):23-30 [摘要(3267)] [PDF 912.35 K (4357)]

	一个基于抽象解释的部分演绎过程
	刘椿年
	1994,5(11):31-37 [摘要(3882)] [PDF 103.33 K (4267)]

	使用工作站网络并行执行prolog程序
	陶杰,鞠九滨
	1994,5(11):38-43 [摘要(3977)] [PDF 491.28 K (4199)]

	区域特征的乐谱识别系统
	王林泉,章文怡,郑刚
	1994,5(11):44-49 [摘要(4539)] [PDF 103.36 K (5118)]

	基于类型一阶理论的逻辑自动编程
	姜涛,孙怀民
	1994,5(11):50-58 [摘要(3950)] [PDF 449.18 K (4572)]

	Script──长期进程的设计与实现
	曹建庆
	1994,5(11):59-65 [摘要(3320)] [PDF 100.83 K (4176)]