Contents

RESEARCH ON CONTROL STRUCTURE OF SOFTWARE PROCESS He Keqing 1993,4(1):1-5 [Abstract(4351)]  [View PDF(5534)317.63 K]

COMPLETENESS OF INPUT PARAMODULATION AND UNIT PARAMODULATION ON HORN SET Ouyang Dantong,Sun Jigui and Liu Xuhua 1993,4(1):6-11 [Abstract(4739)]  [View PDF(5431)337.55 K]

THE EXPERT SYSTEM REPRESENTING KNOWLEDGE WITH RULES AND ARTIFICIAL NEURAL NETWORKS Tian Shengfeng 1993,4(1):12-14 [Abstract(4379)]  [View PDF(5598)207.00 K]

ASN.1 SUPPORT TOOLS AND NETWORK APPLICATION PROTOCOL DEVELOPMENT ENVIRONMENT Dai Ke 1993,4(1):15-21 [Abstract(4918)]  [View PDF(6150)404.33 K]

A DYNAMIC AND DISTRIBUTED ALGORITHM FOR LOAD BALANCING ON MULTIPROCESSORS Xu Chengzhong,Zhang Defu and Sun Zhongxiu 1993,4(1):22-28 [Abstract(4296)]  [View PDF(5723)420.23 K]

A EFFICIENT ALGORITHM OF CODE MOVEMEN OPTIMIZATION IN A COMPILER Chen Jianhua and Chen Hansheng 1993,4(1):29-36 [Abstract(4775)]  [View PDF(5698)482.69 K]

COMPUTER ALGEBRAIC SIMPLIFICATION SYSTEM CASSl Li Yuefeng 1993,4(1):37-42 [Abstract(4874)]  [View PDF(6098)339.14 K]

OBJECT-ORIENTED PROGRAMMING FOR AI SOFTWARE Wang Huaimin and Chen Huowang 1993,4(1):43-49 [Abstract(4959)]  [View PDF(6388)459.03 K]

KZ10:A KNOWLEDGE-BASED OPERATING SYSTEM Xie Li,Chen Jun,Wu Junjie,Tan Yaoming and Sun Zhongxiu 1993,4(1):50-55 [Abstract(4670)]  [View PDF(5597)427.87 K]

STRUCTURED EDITOR BASED ON THE OBJECT-ORIENTED CONCEPTS AND ITS GENARATOR Fei Xianglin,Wang Hezhen,Wang Chengzao and Liao Lei 1993,4(1):56-64 [Abstract(4303)]  [View PDF(5535)577.01 K]