Contents

MODELLING DEVELOPMENT METHOD AND ITS PROTOTYPING TOOL SYSTEM MTOOL Ding Maoshun,Yi Zhangxiong and Feng Yulin 1993,4(2):1-8 [Abstract(5260)]  [View PDF(4777)528.87 K]

SOME DISCUSSION OF A KNOWLEDGE MODEL FOR INTELLIGENT DSS Xu Jiepan 1993,4(2):9-14 [Abstract(5222)]  [View PDF(5287)315.31 K]

INDUCTIVE PROGRAM SYNTHESIS FROM TRACES Wang Zhijian,Zhang Jun and Xu Jiafu 1993,4(2):15-20 [Abstract(3776)]  [View PDF(4526)351.59 K]

A STUDY ON SOLVING FLAT-STRUCTURED PROBLEMS Hu Peng,Shi Chunyi and Su Bogong 1993,4(2):21-26 [Abstract(3532)]  [View PDF(4631)347.14 K]

THE COMPRESSED PATH ORDERING AND THE STRUCTURE MEASURE OF TERM REWRITING SYSTEM Lin Kai,Sun Yongqiang and Lu Ruzhan 1993,4(2):27-33 [Abstract(3562)]  [View PDF(4559)495.91 K]

ALGEBRAIC OPERATORS ON STATISTICAL AND SCIENTIFIC DATABASES Li Jianzhong;,Sun Wenjun and Ding Huafu 1993,4(2):34-47 [Abstract(3198)]  [View PDF(4817)787.35 K]

THE SORT ALGORITHM OF UNCHANGEABLE LONG-RECORDS PLACE Yang Xianze 1993,4(2):48-52 [Abstract(3907)]  [View PDF(4855)308.08 K]

FAST SORTING METHOD OF SEPARATING SEGMENT Tang Xiangyang 1993,4(2):53-57 [Abstract(4148)]  [View PDF(5828)309.63 K]

A NEW METHOD FOR SOLVING CYCLIC QUERY:MAPPING AMONG FLAG BITS (MAFB) Xu De and Zhang Tong 1993,4(2):58-64 [Abstract(3704)]  [View PDF(4333)443.38 K]