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(3999)]  [View PDF(5236)556.02 K]
  • RESEARCH ON SOME THEORIES OF LEARNING FROM EXAMPLES
  • Li Hongbin,Wang Kaizhu and Guo kejian
  • 1990,1(3):10-14 [Abstract(3798)]  [View PDF(4768)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(3823)]  [View PDF(4798)712.83 K]
  • A CLASS ω-REGULAR LANGUAGES
  • Su Jinxiang
  • 1990,1(3):29-32 [Abstract(4456)]  [View PDF(4796)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(3805)]  [View PDF(4710)627.09 K]
  • RESEARCH AND IMPLEMENTATION OF THE PARTIAL EVALUATION OF PROLOG PROGRAMS
  • Deng Tieqing and Hu Yunfa
  • 1990,1(3):45-58 [Abstract(3601)]  [View PDF(4962)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(4226)]  [View PDF(4984)323.06 K]