1995年第6卷第9期目录

   
浏览其它刊期:  
  

本期目录

维护的证明论系统
  张玉平,李未
  1995,6(9):513-524 [摘要(3513)]  [PDF 710.29 K (4237)]
  
软件复用
  杨芙清,朱冰,梅宏
  1995,6(9):525-533 [摘要(3421)]  [PDF 685.41 K (4903)]
  
PARLOG跟踪调试器的设计实现技术
  马玉羚,温冬婵,王鼎兴
  1995,6(9):534-541 [摘要(4259)]  [PDF 508.15 K (4487)]
  
一种从黑体到隶书的汉字字形自动变体方法
  高晓,蔡士杰
  1995,6(9):542-550 [摘要(4773)]  [PDF 582.03 K (4549)]
  
集成环境下的预测应用网络系统的设计与实现
  寿志勤,潘皖印,朱少民
  1995,6(9):551-559 [摘要(3168)]  [PDF 574.64 K (4196)]
  
逻辑数据库中参数化CWAs问题研究
  聂培尧
  1995,6(9):560-566 [摘要(3622)]  [PDF 451.92 K (4294)]
  
一种有效的结点标号上下文无关图文法分析算法
  花全香,邢汉承,冯纯伯
  1995,6(9):567-575 [摘要(3621)]  [PDF 527.38 K (4047)]