Contents

RESEARCH ON CONTROL STRUCTURE OF SOFTWARE PROCESS He Keqing 1993,4(1):1-5 [Abstract(3760)]  [View PDF(4632)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(4064)]  [View PDF(4527)337.55 K]

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

ASN.1 SUPPORT TOOLS AND NETWORK APPLICATION PROTOCOL DEVELOPMENT ENVIRONMENT Dai Ke 1993,4(1):15-21 [Abstract(4228)]  [View PDF(5295)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(3633)]  [View PDF(4851)420.23 K]

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

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

OBJECT-ORIENTED PROGRAMMING FOR AI SOFTWARE Wang Huaimin and Chen Huowang 1993,4(1):43-49 [Abstract(4206)]  [View PDF(5487)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(3929)]  [View PDF(4628)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(3613)]  [View PDF(4622)577.01 K]