Contents

THE FIXPOINT CHARACTERISTIC OF SEMANTICS OF DATALOG WITH NEGATION Zhou Aoying and Shi Baile 1995,6(5):257-264 [Abstract(4620)]  [View PDF(5109)518.84 K]

THE META DATA MODEL BASED ON TYPE SYSTEM Chen Rui and Cai Xiyao 1995,6(5):265-275 [Abstract(4723)]  [View PDF(5512)712.27 K]

AN ALGORITHM FOR DETERMINING CONVEXO-CONCAVE VERTICES OF AN ARBITRARY POLYGON Zhou Peide 1995,6(5):276-279 [Abstract(4675)]  [View PDF(5475)271.11 K]

BEHAVIORAL SPECIFICATIONS AS TYPES Mei Hong and Sun Yongqiang 1995,6(5):280-289 [Abstract(4413)]  [View PDF(5113)600.08 K]

CIRCUMSCRIPTION IN A PARACONSISTENT LOGIC Lin Zuoquan 1995,6(5):290-295 [Abstract(4000)]  [View PDF(5517)416.71 K]

THE MODEL AND DESIGN OF THE KERNEL OF ASSEMBLY KNOWLEDGE BASE SYSTEMS Yu Weidong,Lu Yuchang and Zhang Bo 1995,6(5):296-304 [Abstract(4290)]  [View PDF(5529)635.74 K]

THE IMPLEMENTATION AND PERFORMANCE STUDY OF TWO CLIENT-SERVER DBMS ARCHITECTURES Feng Yucai,Jin Shudong and Wang Yuanzhen 1995,6(5):305-310 [Abstract(4448)]  [View PDF(5513)432.74 K]

RESEARCH OF MODELING OF HUMAN BODY IN THREE DIMENSIONAL COMPUTER ANIMATION Song Shunlin,Zhan Yongzhao,Xue Anrong and Fu Jinsong 1995,6(5):311-315 [Abstract(4547)]  [View PDF(5984)1.24 M]

AN ALGORITHM FOR META-KNOWLEDGE LEARNING MKL AND ITS APPLICATION Pan Jingui,Chen Bin,Chen Jing and Chen Shifu 1995,6(5):316-320 [Abstract(4239)]  [View PDF(5346)311.22 K]