1994年第5卷第11期目录
图形分布处理支撑环境DGPSE石教英,潘志庚,何志均1994,5(11):1-6 [摘要(3612)] [PDF(3734)401.58 K][HTML(0)]中文页面描述语言文本管理器的设计与实现徐福培,张炜1994,5(11):7-15 [摘要(3864)] [PDF(4122)562.66 K][HTML(0)]Sidle的远程执行设备徐高潮,鞠九滨1994,5(11):16-22 [摘要(3768)] [PDF(3512)151.28 K][HTML(0)]推理维护系统的Petri网模型林闯,陆维明1994,5(11):23-30 [摘要(3218)] [PDF(3795)912.35 K][HTML(0)]一个基于抽象解释的部分演绎过程刘椿年1994,5(11):31-37 [摘要(3829)] [PDF(3711)103.33 K][HTML(0)]使用工作站网络并行执行prolog程序陶杰,鞠九滨1994,5(11):38-43 [摘要(3928)] [PDF(3618)491.28 K][HTML(0)]区域特征的乐谱识别系统王林泉,章文怡,郑刚1994,5(11):44-49 [摘要(4475)] [PDF(4531)103.36 K][HTML(0)]基于类型一阶理论的逻辑自动编程姜涛,孙怀民1994,5(11):50-58 [摘要(3899)] [PDF(3993)449.18 K][HTML(0)]Script──长期进程的设计与实现曹建庆1994,5(11):59-65 [摘要(3268)] [PDF(3620)100.83 K][HTML(0)]