Contents

A PROOF THEORY FOR BELIEF REVISION Zhang Yuping and Li Wei 1995,6(9):513-524 [Abstract(3514)]  [View PDF(4291)710.29 K]

SOFTWARE REUSE Yang Fuqing,Zhu Bing and Mei Hong 1995,6(9):525-533 [Abstract(3434)]  [View PDF(4973)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(4267)]  [View PDF(4567)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(4781)]  [View PDF(4639)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(3173)]  [View PDF(4462)574.64 K]

ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES Nie Peiyao 1995,6(9):560-566 [Abstract(3630)]  [View PDF(4591)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(3626)]  [View PDF(4103)527.38 K]