Volume 5,Issue 7,1994 Table of Contents

Other Issues:  
  
Contents

  • WEB GRAMMAR OF DIMENSIONS IN ENGINEERING DRAWINGS
  • Min Weidong;,Tang Zesheng and Tang Long
  • 1994,5(7):1-10 [Abstract(2781)]  [View PDF(2977)522.70 K]
  • A NEW ALGORITHM FOR INTENSIVE ALIAS ANALYSIS
  • Jin Guohua and Chen Fujie
  • 1994,5(7):11-20 [Abstract(2636)]  [View PDF(2835)532.54 K]
  • A NEW METHOD FOR THEOREM PROVING OF PTL
  • Ben Kerong and Chen Huowang
  • 1994,5(7):21-28 [Abstract(2773)]  [View PDF(2431)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(2645)]  [View PDF(2416)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(2388)]  [View PDF(2362)516.22 K]
  • RESEARCH ON RECURSIVE RUERY ALGORITHMS
  • Huai Jinpeng
  • 1994,5(7):44-50 [Abstract(2766)]  [View PDF(2390)401.98 K]
  • DEVELOPING TECHNOLOGY OF "SJ-3" EXPERT SYSTEM
  • Jia Yan;,Liu Jiangning and Wu Quanyuan
  • 1994,5(7):51-55 [Abstract(2445)]  [View PDF(2520)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(3146)]  [View PDF(2582)317.94 K]