Contents

THE DEVELOPMENT OF AUTOMATICALLY PARALLELIZING COMPILER Zhu Genjiang,Xie Li and Sun Zhongxiu 1993,4(4):1-7 [Abstract(3916)]  [View PDF(5347)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(3591)]  [View PDF(4768)443.75 K]

A LINEAR LOGIC APPROACH TO NON-MONOTONIC AND INCONSISTENT INFORMATION Huang Linpeng and Sun Yongqiang 1993,4(4):15-19 [Abstract(3641)]  [View PDF(4545)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(4044)]  [View PDF(4741)393.12 K]

DESIGN OF DBTOOLS:A DATABASE DESIGN TOOL SET Yang Dongqing and Tang Shiwei 1993,4(4):26-31 [Abstract(8384)]  [View PDF(4762)425.83 K]

APPLICATION OF PETRI NETS TO LOGICAL INFERENCE OF HORN CLAUSES Lin Chuang 1993,4(4):32-37 [Abstract(3819)]  [View PDF(4529)365.13 K]

SPEED—UP THEOREM AND HIERARCHY OF THE RECURSIVE FUNCTIONS Xu Shurun and Wang Yongge 1993,4(4):38-43 [Abstract(3667)]  [View PDF(4851)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(4050)]  [View PDF(4745)446.47 K]

NL:A LOOSE NATURAL DEDUCTION SYSTEM OF TEMPORAL LOGIC He Pei and Tang Zhisong 1993,4(4):51-55 [Abstract(2119)]  [View PDF(3714)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(3746)]  [View PDF(4610)342.54 K]

A PARALLEL ALGORITHM FOR COMPUTING CONNECTED COMPONENTS OF GRAPHS Tang Ceshan and Liang Weifa 1993,4(4):61-66 [Abstract(4693)]  [View PDF(5053)708.20 K]