Volume 5,Issue 12,1994 Table of Contents

Other Issues:  
  
Contents

  • A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING
  • Tang Zhisong and Zhao Chen
  • 1994,5(12):1-16 [Abstract(2991)]  [View PDF(2484)861.02 K]
  • SOME EXPLORATION ABOUT INTRODUCING A NEW RELATION IN RESEARCH OF DEDUCTIVE DATABASE SYSTEM
  • Xu Jiepan
  • 1994,5(12):17-23 [Abstract(2595)]  [View PDF(2275)165.28 K]
  • USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS
  • Wang Peiliang and Jiang Changjun
  • 1994,5(12):24-29 [Abstract(3353)]  [View PDF(2702)456.62 K]
  • THE LOWEST DEGREE OF G1 INTERPOLATION OVER 3D TRIANGULATION
  • Jiang Shoushan
  • 1994,5(12):30-37 [Abstract(2867)]  [View PDF(2474)272.30 K]
  • ON THE LOWER BOUND FOR CONVEX HULL PROBLEM
  • Wang Xiaodong
  • 1994,5(12):38-43 [Abstract(2548)]  [View PDF(2327)97.68 K]
  • HELI: A DEEP-SHALLOW INFERENTIAL MODEL
  • Cao Cungen
  • 1994,5(12):44-50 [Abstract(2604)]  [View PDF(2468)408.59 K]
  • CONCURRENCY CONTROL IN ADA-DDBMS
  • Chen Donghui and Wei Zichu
  • 1994,5(12):51-56 [Abstract(2910)]  [View PDF(2296)97.61 K]