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(2851)]  [View PDF(2403)861.02 K]
  • SOME EXPLORATION ABOUT INTRODUCING A NEW RELATION IN RESEARCH OF DEDUCTIVE DATABASE SYSTEM
  • Xu Jiepan
  • 1994,5(12):17-23 [Abstract(2522)]  [View PDF(2245)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(3258)]  [View PDF(2659)456.62 K]
  • THE LOWEST DEGREE OF G1 INTERPOLATION OVER 3D TRIANGULATION
  • Jiang Shoushan
  • 1994,5(12):30-37 [Abstract(2789)]  [View PDF(2439)272.30 K]
  • ON THE LOWER BOUND FOR CONVEX HULL PROBLEM
  • Wang Xiaodong
  • 1994,5(12):38-43 [Abstract(2471)]  [View PDF(2293)97.68 K]
  • HELI: A DEEP-SHALLOW INFERENTIAL MODEL
  • Cao Cungen
  • 1994,5(12):44-50 [Abstract(2525)]  [View PDF(2425)408.59 K]
  • CONCURRENCY CONTROL IN ADA-DDBMS
  • Chen Donghui and Wei Zichu
  • 1994,5(12):51-56 [Abstract(2830)]  [View PDF(2250)97.61 K]