Volume 7,Issue 4,1996 Table of Contents

Other Issues:  
  
Contents

  • EXTERNAL CLOSURE AND ITS APPLICATION IN RELATIONAL DATABASE
  • Wang Yujun,Shi Baile and Hu Meichen
  • 1996,7(4):193-200 [Abstract(3065)]  [View PDF(2694)482.02 K]
  • MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM
  • Liu Tao and Li Guojie
  • 1996,7(4):201-210 [Abstract(2541)]  [View PDF(2671)656.76 K]
  • A NEW ALGORITHM FOR CACHE COHERENCE IN DSM
  • Fang Zhiyi and Ju Jiubin
  • 1996,7(4):211-216 [Abstract(2657)]  [View PDF(2338)428.82 K]
  • THE DESIGN OF INTELLIGENT COMPUTER AID INSTRUCTION SYSTEM
  • Wang Xiaohui and Tong Fu
  • 1996,7(4):217-222 [Abstract(2866)]  [View PDF(3140)395.87 K]
  • COVERING, DECOMPOSITION,AND PARTITION OF EXPRESSIONS
  • Zhou Shengbing and Dai Ruwei
  • 1996,7(4):223-232 [Abstract(2033)]  [View PDF(2665)589.34 K]
  • THE RESULT ORGANIZATION IN EXPLANATION─BASED LEARNING
  • Hao Jigang and Shi Chunyi
  • 1996,7(4):233-237 [Abstract(2667)]  [View PDF(2598)308.92 K]
  • USING RESOURCE UTILIZATION AS LOAD INDEX IN DYNAMIC LOAD BALANCING
  • Ju Jiubin,Yang Kun and Xu Gaochao
  • 1996,7(4):238-243 [Abstract(2880)]  [View PDF(3148)414.03 K]
  • DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE
  • Zuo Zhihong and Gong Tianfu
  • 1996,7(4):244-251 [Abstract(2612)]  [View PDF(2693)446.51 K]
  • A HEURISTIC ALGORITHM FOR RECTANGULAR PACKING BASED ON BINTREE EXPRESSION
  • Wang Aihu,Zha Jianzhong and Wang Jinmin
  • 1996,7(4):252-257 [Abstract(2679)]  [View PDF(3505)842.82 K]