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