Contents

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

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

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

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

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

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

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