Volume 5,Issue 7,1994 Table of Contents
WEB GRAMMAR OF DIMENSIONS IN ENGINEERING DRAWINGSMin Weidong;,Tang Zesheng and Tang Long1994,5(7):1-10 [Abstract(4012)] [View PDF(5144)522.70 K]A NEW ALGORITHM FOR INTENSIVE ALIAS ANALYSISJin Guohua and Chen Fujie1994,5(7):11-20 [Abstract(3840)] [View PDF(4902)532.54 K]A NEW METHOD FOR THEOREM PROVING OF PTLBen Kerong and Chen Huowang1994,5(7):21-28 [Abstract(3973)] [View PDF(4433)569.75 K]THE IMPLEMENTATION STUDY ON A DISTRIBUTED C PRE-COMPILER FOR CIMBASEZhou Lizhu and Wang Xiaojing1994,5(7):29-37 [Abstract(3943)] [View PDF(4442)400.52 K]NEURAL SYSTEMS FOR THE INFORMATION PROCESSING OF VISUAL MOTIONGuo Let;,Guo Baolong and Lu Xinru1994,5(7):38-43 [Abstract(3505)] [View PDF(4365)516.22 K]RESEARCH ON RECURSIVE RUERY ALGORITHMSHuai Jinpeng1994,5(7):44-50 [Abstract(3819)] [View PDF(4427)401.98 K]DEVELOPING TECHNOLOGY OF "SJ-3" EXPERT SYSTEMJia Yan;,Liu Jiangning and Wu Quanyuan1994,5(7):51-55 [Abstract(3534)] [View PDF(4612)490.16 K]A NEW UNCERTAINTY REASONING MECHANISM BASED ON ATMS AND EVIDENCE THEORYKang Jianchu and Wang Jiang1994,5(7):56-64 [Abstract(4386)] [View PDF(4585)317.94 K]