Volume 4,Issue 2,1993 Table of Contents

Other Issues:  
  
Contents

  • MODELLING DEVELOPMENT METHOD AND ITS PROTOTYPING TOOL SYSTEM MTOOL
  • Ding Maoshun,Yi Zhangxiong and Feng Yulin
  • 1993,4(2):1-8 [Abstract(3310)]  [View PDF(2638)528.87 K]
  • SOME DISCUSSION OF A KNOWLEDGE MODEL FOR INTELLIGENT DSS
  • Xu Jiepan
  • 1993,4(2):9-14 [Abstract(3712)]  [View PDF(2823)315.31 K]
  • INDUCTIVE PROGRAM SYNTHESIS FROM TRACES
  • Wang Zhijian,Zhang Jun and Xu Jiafu
  • 1993,4(2):15-20 [Abstract(2511)]  [View PDF(2311)351.59 K]
  • A STUDY ON SOLVING FLAT-STRUCTURED PROBLEMS
  • Hu Peng,Shi Chunyi and Su Bogong
  • 1993,4(2):21-26 [Abstract(2330)]  [View PDF(2401)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(2328)]  [View PDF(2546)495.91 K]
  • ALGEBRAIC OPERATORS ON STATISTICAL AND SCIENTIFIC DATABASES
  • Li Jianzhong;,Sun Wenjun and Ding Huafu
  • 1993,4(2):34-47 [Abstract(2018)]  [View PDF(2695)787.35 K]
  • THE SORT ALGORITHM OF UNCHANGEABLE LONG-RECORDS PLACE
  • Yang Xianze
  • 1993,4(2):48-52 [Abstract(2672)]  [View PDF(2746)308.08 K]
  • FAST SORTING METHOD OF SEPARATING SEGMENT
  • Tang Xiangyang
  • 1993,4(2):53-57 [Abstract(2742)]  [View PDF(3413)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(2506)]  [View PDF(2230)443.38 K]