Contents

WEB GRAMMAR OF DIMENSIONS IN ENGINEERING DRAWINGS Min Weidong;,Tang Zesheng and Tang Long 1994,5(7):1-10 [Abstract(4712)]  [View PDF(5978)522.70 K]

A NEW ALGORITHM FOR INTENSIVE ALIAS ANALYSIS Jin Guohua and Chen Fujie 1994,5(7):11-20 [Abstract(4437)]  [View PDF(5784)532.54 K]

A NEW METHOD FOR THEOREM PROVING OF PTL Ben Kerong and Chen Huowang 1994,5(7):21-28 [Abstract(4490)]  [View PDF(5254)569.75 K]

THE IMPLEMENTATION STUDY ON A DISTRIBUTED C PRE-COMPILER FOR CIMBASE Zhou Lizhu and Wang Xiaojing 1994,5(7):29-37 [Abstract(4676)]  [View PDF(5232)400.52 K]

NEURAL SYSTEMS FOR THE INFORMATION PROCESSING OF VISUAL MOTION Guo Let;,Guo Baolong and Lu Xinru 1994,5(7):38-43 [Abstract(3989)]  [View PDF(5136)516.22 K]

RESEARCH ON RECURSIVE RUERY ALGORITHMS Huai Jinpeng 1994,5(7):44-50 [Abstract(4444)]  [View PDF(5267)401.98 K]

DEVELOPING TECHNOLOGY OF "SJ-3" EXPERT SYSTEM Jia Yan;,Liu Jiangning and Wu Quanyuan 1994,5(7):51-55 [Abstract(4135)]  [View PDF(5476)490.16 K]

A NEW UNCERTAINTY REASONING MECHANISM BASED ON ATMS AND EVIDENCE THEORY Kang Jianchu and Wang Jiang 1994,5(7):56-64 [Abstract(5137)]  [View PDF(5423)317.94 K]