Volume 2,Issue 4,1991 Table of Contents
A COMPACT (a, b) TREEZhang Xi and Li Wanxue1991,2(4):1-11 [Abstract(3828)] [View PDF(3930)588.76 K]EAAS: AN AUTOMATIC ABSTRACT SYSTEMLi Xiaobin and Xu Yue1991,2(4):12-18 [Abstract(4051)] [View PDF(4904)449.95 K]A SEQUENTIAL COMPILING TECHNIQUE FOR PARLOGZheng Weimin and Yang Heping1991,2(4):19-22 [Abstract(4128)] [View PDF(4315)323.23 K]PROOF STRATEGIES AND VALIDITYHe Pei1991,2(4):23-30 [Abstract(3739)] [View PDF(3844)398.72 K]SYNTAX AND OPERATIONAL SEMANTICS OF RECURSIVE PROGRAMS BASED ON PREDICATE LOGICShao Zhiqing1991,2(4):31-35 [Abstract(3680)] [View PDF(4203)316.82 K]AN INFORMATION RETRIEVAL SYSTEM FOR SUPPORTING SOFTWARE REUSE-KDZZhang Shaoping,Wang Huaimin and Chen Huowang1991,2(4):36-41 [Abstract(3504)] [View PDF(4026)375.46 K]MODULE SILICON COMPILATION EXPERT SYSTEM-SCESYang Qiaolin1991,2(4):42-47 [Abstract(4105)] [View PDF(3956)409.35 K]KBE-PASCAL: KNOWLEDGE BASED PROGRAM EDITINGZheng Guoliang and Tang Qing1991,2(4):48-53 [Abstract(3254)] [View PDF(3858)418.51 K]CONCEPTUALLY ORIENTED DESIGN GENERIC KNOWLEDGE ACQUISITION SYSTEMWang Shenkang1991,2(4):54-60 [Abstract(3781)] [View PDF(3934)455.92 K]