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)]
  

综述文章

提问的技巧、算法及其应用
  邵维忠,H.S.Soon
  1993,4(6):7-15 [摘要(6900)]  [PDF 591.22 K (7385)]