| | 1993年第4卷第6期目录
本期目录 | | | KD-PARPRO:一个基于知识的并行化工具——总体设计与功能描述 | | | 金国华,陈福接 | | | 1993,4(6):1-6 | | | [摘要](4761) [PDF 382.71 K](5402) | | | 加权T图的活性分析 | | | 许安国,吴哲辉 | | | 1993,4(6):16-21 | | | [摘要](4265) [PDF 408.71 K](5888) | | | Petri网的标注可达 | | | 蒋昌俊,吴哲辉 | | | 1993,4(6):22-28 | | | [摘要](4485) [PDF 403.01 K](5516) | | | 软件工程CASE工具——RSL/RSA | | | 许龙山,贾霖 | | | 1993,4(6):29-35 | | | [摘要](6640) [PDF 461.73 K](6086) | | | 一种新的编译程序测试用例自动生成策略及其实现 | | | 吴健,胡正国,蒋立源 | | | 1993,4(6):36-40 | | | [摘要](4419) [PDF 320.67 K](5502) | | | 基于自然语言计算模型的汉语理解系统 | | | 周经野 | | | 1993,4(6):41-46 | | | [摘要](4940) [PDF 414.13 K](6274) | | | 归纳逻辑及其在归纳学习中的应用问题 | | | 王雨田 | | | 1993,4(6):47-53 | | | [摘要](3956) [PDF 496.24 K](5887) | | | 软件开发中的文档管理 | | | 周龙骧,柴兴无 | | | 1993,4(6):54-61 | | | [摘要](4346) [PDF 498.17 K](6416) | |
综述文章
|