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