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(4697)]  [View PDF(5959)451.49 K]

FORMALIZING FUZZY QUANTIFIERS AND REASONING Shi Shengli and Liu Xuhua 1993,4(3):8-14 [Abstract(4882)]  [View PDF(5920)415.86 K]

MAN-MACHINE INTERFACE SOFTWARE CPANEL PLUS Wang Yushu and Pang Dafan 1993,4(3):15-19 [Abstract(4205)]  [View PDF(5764)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(4949)]  [View PDF(5881)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(4330)]  [View PDF(5297)385.50 K]

MULTI-KB COOPERATION IN EXPLANATION-BASED LEARNING Shi Chunyi and Gong Yitao 1993,4(3):31-34 [Abstract(4390)]  [View PDF(5670)292.62 K]

ON THE COMPUTING POWER OF ORDERED PETRI NETS Wang Yongge 1993,4(3):35-41 [Abstract(4025)]  [View PDF(5589)421.82 K]

CATEGORICAL EQUIVALENCE ON HORN LOGIC AND GENERALIZATION OF THE METHOD Wang Huaimin 1993,4(3):42-44 [Abstract(4702)]  [View PDF(5585)198.83 K]

A REASONING MODEL FOR INTEGRATION TWO LEVELS OF UNCERTAINTY Liu Dayou,Zhong Shaochun and GaoYaqing 1993,4(3):45-52 [Abstract(4554)]  [View PDF(5864)463.51 K]

AN ASSERTIONAL PROOF FOR PETERSON-FISCHER 2-MUTUAL ALGORITHM Su Yunlin 1993,4(3):53-57 [Abstract(4647)]  [View PDF(5344)308.28 K]

A PROCEDURAL SEMANTICS OF THE LPS PROGRAMS Zhao Chunxiao and Li Lei 1993,4(3):58-60 [Abstract(5321)]  [View PDF(5950)232.10 K]

A ALGORITHM FOR PARALLELISM DETECTION Chen Haoying 1993,4(3):61-64 [Abstract(4466)]  [View PDF(5287)274.97 K]