Volume 6,Issue 5,1995 Table of Contents

Other Issues:  
  
Contents

  • THE FIXPOINT CHARACTERISTIC OF SEMANTICS OF DATALOG WITH NEGATION
  • Zhou Aoying and Shi Baile
  • 1995,6(5):257-264 [Abstract(4083)]  [View PDF(4408)518.84 K]
  • THE META DATA MODEL BASED ON TYPE SYSTEM
  • Chen Rui and Cai Xiyao
  • 1995,6(5):265-275 [Abstract(4126)]  [View PDF(4712)712.27 K]
  • AN ALGORITHM FOR DETERMINING CONVEXO-CONCAVE VERTICES OF AN ARBITRARY POLYGON
  • Zhou Peide
  • 1995,6(5):276-279 [Abstract(4167)]  [View PDF(4594)271.11 K]
  • BEHAVIORAL SPECIFICATIONS AS TYPES
  • Mei Hong and Sun Yongqiang
  • 1995,6(5):280-289 [Abstract(3831)]  [View PDF(4370)600.08 K]
  • CIRCUMSCRIPTION IN A PARACONSISTENT LOGIC
  • Lin Zuoquan
  • 1995,6(5):290-295 [Abstract(3212)]  [View PDF(4746)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(3741)]  [View PDF(4735)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(3834)]  [View PDF(4674)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(3901)]  [View PDF(5027)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(3641)]  [View PDF(4620)311.22 K]