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