Volume 1,Issue 3,1990 Table of Contents
THE IMPLEMENTATION STRATEGIES AND TECHNOLOGIES OF UNIX CHINESE INFORMATION PROCESSING SYSTEMSSun Yufang1990,1(3):1-9 [Abstract(3915)] [View PDF(4612)556.02 K]RESEARCH ON SOME THEORIES OF LEARNING FROM EXAMPLESLi Hongbin,Wang Kaizhu and Guo kejian1990,1(3):10-14 [Abstract(3712)] [View PDF(4098)687.26 K]A METHODOLOGY AND AN ENVIRONMENT FOR STEPW1SE REFINEMENT-ACCORDING TO DESIGN DECISIONSMiao Xu and Tang Zhisong1990,1(3):15-25 [Abstract(3725)] [View PDF(4104)712.83 K]A CLASS ω-REGULAR LANGUAGESSu Jinxiang1990,1(3):29-32 [Abstract(4332)] [View PDF(4123)224.55 K]A DISTRIBUTED EXPERT UNITED SYSTEM UNION ON MICROCOMPUTER NET (PART TWO)Zhao Zhizhou,Zhuang Qingyu,Cao Hua and Lu Ruqian1990,1(3):33-44 [Abstract(3681)] [View PDF(4071)627.09 K]RESEARCH AND IMPLEMENTATION OF THE PARTIAL EVALUATION OF PROLOG PROGRAMSDeng Tieqing and Hu Yunfa1990,1(3):45-58 [Abstract(3529)] [View PDF(4287)717.51 K]THE CONSTRUCTION OF A MODEL OF THE LAMBDA CALCULUS SYSTEM WITH ALGEBRAIC OPERATORSLu Ruzhan,Zhang Zheng and Sun Yongqiang1990,1(3):59-64 [Abstract(4149)] [View PDF(4309)323.06 K]
