Volume 1,Issue 3,1990 Table of Contents

Other Issues:  
  
Contents

  • THE IMPLEMENTATION STRATEGIES AND TECHNOLOGIES OF UNIX CHINESE INFORMATION PROCESSING SYSTEMS
  • Sun Yufang
  • 1990,1(3):1-9 [Abstract(2868)]  [View PDF(3125)556.02 K]
  • RESEARCH ON SOME THEORIES OF LEARNING FROM EXAMPLES
  • Li Hongbin,Wang Kaizhu and Guo kejian
  • 1990,1(3):10-14 [Abstract(2565)]  [View PDF(2693)687.26 K]
  • A METHODOLOGY AND AN ENVIRONMENT FOR STEPW1SE REFINEMENT-ACCORDING TO DESIGN DECISIONS
  • Miao Xu and Tang Zhisong
  • 1990,1(3):15-25 [Abstract(2640)]  [View PDF(2673)712.83 K]
  • A CLASS ω-REGULAR LANGUAGES
  • Su Jinxiang
  • 1990,1(3):29-32 [Abstract(3223)]  [View PDF(2710)224.55 K]
  • A DISTRIBUTED EXPERT UNITED SYSTEM UNION ON MICROCOMPUTER NET (PART TWO)
  • Zhao Zhizhou,Zhuang Qingyu,Cao Hua and Lu Ruqian
  • 1990,1(3):33-44 [Abstract(2657)]  [View PDF(2622)627.09 K]
  • RESEARCH AND IMPLEMENTATION OF THE PARTIAL EVALUATION OF PROLOG PROGRAMS
  • Deng Tieqing and Hu Yunfa
  • 1990,1(3):45-58 [Abstract(2505)]  [View PDF(2843)717.51 K]
  • THE CONSTRUCTION OF A MODEL OF THE LAMBDA CALCULUS SYSTEM WITH ALGEBRAIC OPERATORS
  • Lu Ruzhan,Zhang Zheng and Sun Yongqiang
  • 1990,1(3):59-64 [Abstract(3081)]  [View PDF(2864)323.06 K]