Volume 2,Issue 4,1991 Table of Contents

Other Issues:  
  
Contents

  • A COMPACT (a, b) TREE
  • Zhang Xi and Li Wanxue
  • 1991,2(4):1-11 [Abstract(2513)]  [View PDF(2554)588.76 K]
  • EAAS: AN AUTOMATIC ABSTRACT SYSTEM
  • Li Xiaobin and Xu Yue
  • 1991,2(4):12-18 [Abstract(2824)]  [View PDF(3245)449.95 K]
  • A SEQUENTIAL COMPILING TECHNIQUE FOR PARLOG
  • Zheng Weimin and Yang Heping
  • 1991,2(4):19-22 [Abstract(2952)]  [View PDF(2769)323.23 K]
  • PROOF STRATEGIES AND VALIDITY
  • He Pei
  • 1991,2(4):23-30 [Abstract(2490)]  [View PDF(2376)398.72 K]
  • SYNTAX AND OPERATIONAL SEMANTICS OF RECURSIVE PROGRAMS BASED ON PREDICATE LOGIC
  • Shao Zhiqing
  • 1991,2(4):31-35 [Abstract(2450)]  [View PDF(2599)316.82 K]
  • AN INFORMATION RETRIEVAL SYSTEM FOR SUPPORTING SOFTWARE REUSE-KDZ
  • Zhang Shaoping,Wang Huaimin and Chen Huowang
  • 1991,2(4):36-41 [Abstract(2476)]  [View PDF(2581)375.46 K]
  • MODULE SILICON COMPILATION EXPERT SYSTEM-SCES
  • Yang Qiaolin
  • 1991,2(4):42-47 [Abstract(2778)]  [View PDF(2469)409.35 K]
  • KBE-PASCAL: KNOWLEDGE BASED PROGRAM EDITING
  • Zheng Guoliang and Tang Qing
  • 1991,2(4):48-53 [Abstract(2007)]  [View PDF(2400)418.51 K]
  • CONCEPTUALLY ORIENTED DESIGN GENERIC KNOWLEDGE ACQUISITION SYSTEM
  • Wang Shenkang
  • 1991,2(4):54-60 [Abstract(2458)]  [View PDF(2465)455.92 K]