Contents

SYNTHESIS OF NONDETERMINISTIC LOGIC PROGRAMS WangLiguo 1990,1(1):1-15 [Abstract(4623)]  [View PDF(6941)757.65 K]

A TEXT DATA BASE ACCESS METHOD FOR CHINESE DYNAMIC OFFICE ENVIRONMENT Liu Yi 1990,1(1):17-25 [Abstract(4885)]  [View PDF(6275)610.41 K]

λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC Liu Xuhua 1990,1(1):26-30 [Abstract(4658)]  [View PDF(5797)269.02 K]

AN UNDERSTANDABILITY ORIENTED METHOD FOR REUSABLE SOFTWARE DEVELOPMENT Dong Yunmei and Li Kaide 1990,1(1):31-38 [Abstract(4854)]  [View PDF(6533)491.07 K]

A SIMULATE BOYER-MOORE THEOREM PROVER Ma Suxia and Zheng Renjie 1990,1(1):39-45 [Abstract(5615)]  [View PDF(6296)468.93 K]

THE DESIGN PHILOSOPHY OF XYZ SYSTEM Tang Zhisong 1990,1(1):47-55 [Abstract(5010)]  [View PDF(6447)741.48 K]

ON THE DESIGN OF AN INDUCTIVE PROGRAM SYNTHESIZER NDIPS Xu Jiafu,Dai Min and Wang Zhijian 1990,1(1):57-62 [Abstract(4745)]  [View PDF(5964)428.46 K]