1000-1220
1988 Issue 4
Polymorphic Typechecking by use of PROLOG
Jiang Mingde
Jiang Mingde
..............page:1-7
xenix huan jing xia duo yong hu xi tong ju yu wang
yang xiong ; guo hong ; zhou zuo ;
yang xiong ; guo hong ; zhou zuo ;
..............page:8-16+28
xjdccs fen bu shi ji suan ji kong zhi he guan li xi tong de tong xin wang
guan xiao hong ; chen zhi zhen ; li ren hou ;
guan xiao hong ; chen zhi zhen ; li ren hou ;
..............page:17-22+35
..............page:23-28
ibm-pc cai se tu xing shi pei qi he crt de kai fa
gao qing ji ; feng yong xiang ;
gao qing ji ; feng yong xiang ;
..............page:29-35
yi ge yong autocad shi xian de cheng shi fang kong xi yu an tu zi dong hui zhi xi tong
zhou yu qing ;
zhou yu qing ;
..............page:36-39+55
zai ibm-pc shang shi xian de zhong jian hua sheng cheng ji suan ji fu zhu dong hua xi tong
wang zuo xuan ; pang yun jie ;
wang zuo xuan ; pang yun jie ;
..............page:40-46
..............page:47-49
ibm-pc you sheng cai xi tong jie kou
zhang ji ping ;
zhang ji ping ;
..............page:50-55
shu ju liu fen xi zai cheng xu ce shi zhong de ying yong
li shu ning ;
li shu ning ;
..............page:56-62
..............page:63-65