Volume 4,Issue 4,1993 Table of Contents

Other Issues:  
  
Contents

  • THE DEVELOPMENT OF AUTOMATICALLY PARALLELIZING COMPILER
  • Zhu Genjiang,Xie Li and Sun Zhongxiu
  • 1993,4(4):1-7 [Abstract(2959)]  [View PDF(3449)533.61 K]
  • A LAZY PATTERN MATCHING IMPLEMENTING METHOD OF FUNCTIONAL LANGUAGE BASED ON EXTENDED GRAPH REWRITING MODEL
  • Zhou Guangming and Wang Dingxing
  • 1993,4(4):8-14 [Abstract(2734)]  [View PDF(2971)443.75 K]
  • A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION
  • Huang Linpeng and Sun Yongqiang
  • 1993,4(4):15-19 [Abstract(2811)]  [View PDF(2736)321.80 K]
  • GOAL-ORIENTED OPTIMAL α—βSEARCH STRATEGY AND ITS APPLICATION TO THE GAME PROBLEMS
  • Zhang Xinger and Pan Zhengyu
  • 1993,4(4):20-25 [Abstract(3143)]  [View PDF(2971)393.12 K]
  • DESIGN OF DBTOOLS:A DATABASE DESIGN TOOL SET
  • Yang Dongqing and Tang Shiwei
  • 1993,4(4):26-31 [Abstract(3355)]  [View PDF(3034)425.83 K]
  • APPLICATION OF PETRI NETS TO LOGICAL INFERENCE OF HORN CLAUSES
  • Lin Chuang
  • 1993,4(4):32-37 [Abstract(2977)]  [View PDF(2767)365.13 K]
  • SPEED—UP THEOREM AND HIERARCHY OF THE RECURSIVE FUNCTIONS
  • Xu Shurun and Wang Yongge
  • 1993,4(4):38-43 [Abstract(2743)]  [View PDF(3095)353.57 K]
  • A COMPUTER SOLID MODELLING AND PATTERNING DESIGN SYSTEM FOR POTTERIES AND PORCELAINS
  • Yu Cheng,Zhou Qiyun and Chang Xiaohong
  • 1993,4(4):44-50 [Abstract(3210)]  [View PDF(3078)446.47 K]
  • NL:A LOOSE NATURAL DEDUCTION SYSTEM OF TEMPORAL LOGIC
  • He Pei and Tang Zhisong
  • 1993,4(4):51-55 [Abstract(1175)]  [View PDF(1922)278.79 K]
  • AN INFORMATION—BASED METHOD IBLE FOR LEARNING FROM EXAMPLES
  • Zhong Ming;,Chen Wenwei and Zhang Kaici
  • 1993,4(4):56-60 [Abstract(2950)]  [View PDF(2919)342.54 K]
  • A PARALLEL ALGORITHM FOR COMPUTING CONNECTED COMPONENTS OF GRAPHS
  • Tang Ceshan and Liang Weifa
  • 1993,4(4):61-66 [Abstract(3492)]  [View PDF(3126)708.20 K]