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