1993年第4卷第6期目录

   
浏览其它刊期:  
  

本期目录

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

综述文章

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