Volume 6,Issue 9,1995 Table of Contents

Other Issues:  
  
Contents

  • A PROOF THEORY FOR BELIEF REVISION
  • Zhang Yuping and Li Wei
  • 1995,6(9):513-524 [Abstract(2850)]  [View PDF(2745)710.29 K]
  • SOFTWARE REUSE
  • Yang Fuqing,Zhu Bing and Mei Hong
  • 1995,6(9):525-533 [Abstract(2543)]  [View PDF(3071)685.41 K]
  • DESIGN AND IMPLEMENTATION TECHNIQUES FOR A PARLOG TRACING DEBUGGER
  • Ma Yuling,Wen Dongchan and Wang Dingxing
  • 1995,6(9):534-541 [Abstract(3280)]  [View PDF(2813)508.15 K]
  • AN AUTOMATIC DERIVATION OF CHINESE CHARACTER TYPEFACE FROM HEI-TI TO LI-SHU
  • Gao Xiao and Cai Shijie
  • 1995,6(9):542-550 [Abstract(4069)]  [View PDF(2835)582.03 K]
  • DESIGN AND PRACTICE OF FORECASTING APPLICATION NETWORK SYSTEM IN INTEGRATED ENVIRONMENT
  • Shou Zhiqin,Pan Wanyin and Zhu Shaomin
  • 1995,6(9):551-559 [Abstract(2547)]  [View PDF(2627)574.64 K]
  • ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES
  • Nie Peiyao
  • 1995,6(9):560-566 [Abstract(2929)]  [View PDF(2604)451.92 K]
  • AN EFFICIENT PARSING ALGORITHM ON NODE LABEL CONTEXT FREE GRAPH GRAMMAR
  • Hua Quanxiang,Xing Hancheng and Feng Chunbo
  • 1995,6(9):567-575 [Abstract(2887)]  [View PDF(2513)527.38 K]