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(3976)] [View PDF(5109)556.02 K]RESEARCH ON SOME THEORIES OF LEARNING FROM EXAMPLESLi Hongbin,Wang Kaizhu and Guo kejian1990,1(3):10-14 [Abstract(3759)] [View PDF(4629)687.26 K]A METHODOLOGY AND AN ENVIRONMENT FOR STEPW1SE REFINEMENT-ACCORDING TO DESIGN DECISIONSMiao Xu and Tang Zhisong1990,1(3):15-25 [Abstract(3793)] [View PDF(4633)712.83 K]A CLASS ω-REGULAR LANGUAGESSu Jinxiang1990,1(3):29-32 [Abstract(4410)] [View PDF(4642)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(3761)] [View PDF(4557)627.09 K]RESEARCH AND IMPLEMENTATION OF THE PARTIAL EVALUATION OF PROLOG PROGRAMSDeng Tieqing and Hu Yunfa1990,1(3):45-58 [Abstract(3568)] [View PDF(4802)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(4189)] [View PDF(4826)323.06 K]
