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(2692)]  [View PDF(2609)588.76 K]
  • EAAS: AN AUTOMATIC ABSTRACT SYSTEM
  • Li Xiaobin and Xu Yue
  • 1991,2(4):12-18 [Abstract(2950)]  [View PDF(3314)449.95 K]
  • A SEQUENTIAL COMPILING TECHNIQUE FOR PARLOG
  • Zheng Weimin and Yang Heping
  • 1991,2(4):19-22 [Abstract(3048)]  [View PDF(2846)323.23 K]
  • PROOF STRATEGIES AND VALIDITY
  • He Pei
  • 1991,2(4):23-30 [Abstract(2641)]  [View PDF(2445)398.72 K]
  • SYNTAX AND OPERATIONAL SEMANTICS OF RECURSIVE PROGRAMS BASED ON PREDICATE LOGIC
  • Shao Zhiqing
  • 1991,2(4):31-35 [Abstract(2609)]  [View PDF(2665)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(2586)]  [View PDF(2637)375.46 K]
  • MODULE SILICON COMPILATION EXPERT SYSTEM-SCES
  • Yang Qiaolin
  • 1991,2(4):42-47 [Abstract(2939)]  [View PDF(2544)409.35 K]
  • KBE-PASCAL: KNOWLEDGE BASED PROGRAM EDITING
  • Zheng Guoliang and Tang Qing
  • 1991,2(4):48-53 [Abstract(2159)]  [View PDF(2456)418.51 K]
  • CONCEPTUALLY ORIENTED DESIGN GENERIC KNOWLEDGE ACQUISITION SYSTEM
  • Wang Shenkang
  • 1991,2(4):54-60 [Abstract(2730)]  [View PDF(2529)455.92 K]