Volume 6,Issue 9,1995 Table of Contents
A PROOF THEORY FOR BELIEF REVISIONZhang Yuping and Li Wei1995,6(9):513-524 [Abstract(4121)] [View PDF(5190)710.29 K]SOFTWARE REUSEYang Fuqing,Zhu Bing and Mei Hong1995,6(9):525-533 [Abstract(4086)] [View PDF(5918)685.41 K]DESIGN AND IMPLEMENTATION TECHNIQUES FOR A PARLOG TRACING DEBUGGERMa Yuling,Wen Dongchan and Wang Dingxing1995,6(9):534-541 [Abstract(4907)] [View PDF(5418)508.15 K]AN AUTOMATIC DERIVATION OF CHINESE CHARACTER TYPEFACE FROM HEI-TI TO LI-SHUGao Xiao and Cai Shijie1995,6(9):542-550 [Abstract(5485)] [View PDF(5529)582.03 K]DESIGN AND PRACTICE OF FORECASTING APPLICATION NETWORK SYSTEM IN INTEGRATED ENVIRONMENTShou Zhiqin,Pan Wanyin and Zhu Shaomin1995,6(9):551-559 [Abstract(3730)] [View PDF(5319)574.64 K]ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASESNie Peiyao1995,6(9):560-566 [Abstract(4175)] [View PDF(5534)451.92 K]AN EFFICIENT PARSING ALGORITHM ON NODE LABEL CONTEXT FREE GRAPH GRAMMARHua Quanxiang,Xing Hancheng and Feng Chunbo1995,6(9):567-575 [Abstract(4192)] [View PDF(4989)527.38 K]
