Volume 6,Issue 5,1995 Table of Contents
THE FIXPOINT CHARACTERISTIC OF SEMANTICS OF DATALOG WITH NEGATIONZhou Aoying and Shi Baile1995,6(5):257-264 [Abstract(4048)] [View PDF(4274)518.84 K]THE META DATA MODEL BASED ON TYPE SYSTEMChen Rui and Cai Xiyao1995,6(5):265-275 [Abstract(4080)] [View PDF(4545)712.27 K]AN ALGORITHM FOR DETERMINING CONVEXO-CONCAVE VERTICES OF AN ARBITRARY POLYGONZhou Peide1995,6(5):276-279 [Abstract(4116)] [View PDF(4431)271.11 K]BEHAVIORAL SPECIFICATIONS AS TYPESMei Hong and Sun Yongqiang1995,6(5):280-289 [Abstract(3809)] [View PDF(4216)600.08 K]CIRCUMSCRIPTION IN A PARACONSISTENT LOGICLin Zuoquan1995,6(5):290-295 [Abstract(3182)] [View PDF(4592)416.71 K]THE MODEL AND DESIGN OF THE KERNEL OF ASSEMBLY KNOWLEDGE BASE SYSTEMSYu Weidong,Lu Yuchang and Zhang Bo1995,6(5):296-304 [Abstract(3723)] [View PDF(4572)635.74 K]THE IMPLEMENTATION AND PERFORMANCE STUDY OF TWO CLIENT-SERVER DBMS ARCHITECTURESFeng Yucai,Jin Shudong and Wang Yuanzhen1995,6(5):305-310 [Abstract(3809)] [View PDF(4523)432.74 K]RESEARCH OF MODELING OF HUMAN BODY IN THREE DIMENSIONAL COMPUTER ANIMATIONSong Shunlin,Zhan Yongzhao,Xue Anrong and Fu Jinsong1995,6(5):311-315 [Abstract(3848)] [View PDF(4858)1.24 M]AN ALGORITHM FOR META-KNOWLEDGE LEARNING MKL AND ITS APPLICATIONPan Jingui,Chen Bin,Chen Jing and Chen Shifu1995,6(5):316-320 [Abstract(3615)] [View PDF(4477)311.22 K]