Volume 1,Issue 1,1990 Table of Contents
SYNTHESIS OF NONDETERMINISTIC LOGIC PROGRAMSWangLiguo1990,1(1):1-15 [Abstract(3950)] [View PDF(5289)757.65 K]A TEXT DATA BASE ACCESS METHOD FOR CHINESE DYNAMIC OFFICE ENVIRONMENTLiu Yi1990,1(1):17-25 [Abstract(4090)] [View PDF(4567)610.41 K]λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGICLiu Xuhua1990,1(1):26-30 [Abstract(3936)] [View PDF(4246)269.02 K]AN UNDERSTANDABILITY ORIENTED METHOD FOR REUSABLE SOFTWARE DEVELOPMENTDong Yunmei and Li Kaide1990,1(1):31-38 [Abstract(4088)] [View PDF(4796)491.07 K]A SIMULATE BOYER-MOORE THEOREM PROVERMa Suxia and Zheng Renjie1990,1(1):39-45 [Abstract(4731)] [View PDF(4638)468.93 K]THE DESIGN PHILOSOPHY OF XYZ SYSTEMTang Zhisong1990,1(1):47-55 [Abstract(4135)] [View PDF(4817)741.48 K]ON THE DESIGN OF AN INDUCTIVE PROGRAM SYNTHESIZER NDIPSXu Jiafu,Dai Min and Wang Zhijian1990,1(1):57-62 [Abstract(4110)] [View PDF(4458)428.46 K]