Volume 4,Issue 3,1993 Table of Contents

Other Issues:  
  
Contents

  • THE DESIGN AND IMPLEMENTATION ON THE NEW EXPERT SYSTEM DEVELOPMENT ENVIRONMENT
  • Che Shifu,Pan Jingui,Yuan feng and Tong Li
  • 1993,4(3):1-7 [Abstract(3306)]  [View PDF(3280)451.49 K]
  • FORMALIZING FUZZY QUANTIFIERS AND REASONING
  • Shi Shengli and Liu Xuhua
  • 1993,4(3):8-14 [Abstract(3026)]  [View PDF(3094)415.86 K]
  • MAN-MACHINE INTERFACE SOFTWARE CPANEL PLUS
  • Wang Yushu and Pang Dafan
  • 1993,4(3):15-19 [Abstract(2847)]  [View PDF(3002)379.40 K]
  • ALGORITHMS FOR REGION EDGE RECOGNITION AND REGION MARK AND THEIR APPLICATION
  • Chen Shifu,Pan Jingui,Hu Bin and Luo Qiuqing
  • 1993,4(3):20-25 [Abstract(3347)]  [View PDF(3168)394.27 K]
  • THE RESEARCH ON THE BASIC THEORY AND METHOD OF KNOWLEDGE REFINEMENT
  • Yang Li and Hu Shouren
  • 1993,4(3):26-30 [Abstract(3031)]  [View PDF(2659)385.50 K]
  • MULTI-KB COOPERATION IN EXPLANATION-BASED LEARNING
  • Shi Chunyi and Gong Yitao
  • 1993,4(3):31-34 [Abstract(2892)]  [View PDF(2985)292.62 K]
  • ON THE COMPUTING POWER OF ORDERED PETRI NETS
  • Wang Yongge
  • 1993,4(3):35-41 [Abstract(2600)]  [View PDF(2861)421.82 K]
  • CATEGORICAL EQUIVALENCE ON HORN LOGIC AND GENERALIZATION OF THE METHOD
  • Wang Huaimin
  • 1993,4(3):42-44 [Abstract(3179)]  [View PDF(2921)198.83 K]
  • A REASONING MODEL FOR INTEGRATION TWO LEVELS OF UNCERTAINTY
  • Liu Dayou,Zhong Shaochun and GaoYaqing
  • 1993,4(3):45-52 [Abstract(3227)]  [View PDF(3150)463.51 K]
  • AN ASSERTIONAL PROOF FOR PETERSON-FISCHER 2-MUTUAL ALGORITHM
  • Su Yunlin
  • 1993,4(3):53-57 [Abstract(3330)]  [View PDF(2612)308.28 K]
  • A PROCEDURAL SEMANTICS OF THE LPS PROGRAMS
  • Zhao Chunxiao and Li Lei
  • 1993,4(3):58-60 [Abstract(3869)]  [View PDF(3138)232.10 K]
  • A ALGORITHM FOR PARALLELISM DETECTION
  • Chen Haoying
  • 1993,4(3):61-64 [Abstract(3172)]  [View PDF(2796)274.97 K]