Volume 1,Issue 1,1990 Table of Contents

Other Issues:  
  
Contents

  • SYNTHESIS OF NONDETERMINISTIC LOGIC PROGRAMS
  • WangLiguo
  • 1990,1(1):1-15 [Abstract(3111)]  [View PDF(4031)757.65 K]
  • A TEXT DATA BASE ACCESS METHOD FOR CHINESE DYNAMIC OFFICE ENVIRONMENT
  • Liu Yi
  • 1990,1(1):17-25 [Abstract(3315)]  [View PDF(3261)610.41 K]
  • λ-IMPLYING AND λ-STRONG IMPLYING IN OPERATOR FUZZY LOGIC
  • Liu Xuhua
  • 1990,1(1):26-30 [Abstract(3187)]  [View PDF(3051)269.02 K]
  • AN UNDERSTANDABILITY ORIENTED METHOD FOR REUSABLE SOFTWARE DEVELOPMENT
  • Dong Yunmei and Li Kaide
  • 1990,1(1):31-38 [Abstract(3202)]  [View PDF(3403)491.07 K]
  • A SIMULATE BOYER-MOORE THEOREM PROVER
  • Ma Suxia and Zheng Renjie
  • 1990,1(1):39-45 [Abstract(3847)]  [View PDF(3215)468.93 K]
  • THE DESIGN PHILOSOPHY OF XYZ SYSTEM
  • Tang Zhisong
  • 1990,1(1):47-55 [Abstract(3262)]  [View PDF(3451)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(3264)]  [View PDF(3111)428.46 K]