Contents

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

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

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

A STUDY ON SOLVING FLAT-STRUCTURED PROBLEMS Hu Peng,Shi Chunyi and Su Bogong 1993,4(2):21-26 [Abstract(3495)]  [View PDF(4495)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(3531)]  [View PDF(4421)495.91 K]

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

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

FAST SORTING METHOD OF SEPARATING SEGMENT Tang Xiangyang 1993,4(2):53-57 [Abstract(4127)]  [View PDF(5711)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(3670)]  [View PDF(4194)443.38 K]