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(2983)]  [View PDF(2649)482.02 K]
  • MULTI-STAGE SEARCH REARRANGEMENT ALGORITHM FOR SOLVING SAT PROBLEM
  • Liu Tao and Li Guojie
  • 1996,7(4):201-210 [Abstract(2445)]  [View PDF(2633)656.76 K]
  • A NEW ALGORITHM FOR CACHE COHERENCE IN DSM
  • Fang Zhiyi and Ju Jiubin
  • 1996,7(4):211-216 [Abstract(2570)]  [View PDF(2298)428.82 K]
  • THE DESIGN OF INTELLIGENT COMPUTER AID INSTRUCTION SYSTEM
  • Wang Xiaohui and Tong Fu
  • 1996,7(4):217-222 [Abstract(2774)]  [View PDF(3083)395.87 K]
  • COVERING, DECOMPOSITION,AND PARTITION OF EXPRESSIONS
  • Zhou Shengbing and Dai Ruwei
  • 1996,7(4):223-232 [Abstract(1959)]  [View PDF(2634)589.34 K]
  • THE RESULT ORGANIZATION IN EXPLANATION─BASED LEARNING
  • Hao Jigang and Shi Chunyi
  • 1996,7(4):233-237 [Abstract(2588)]  [View PDF(2552)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(2791)]  [View PDF(3113)414.03 K]
  • DENOTATIONAL SEMANTICS OF AN OBJECT-ORIENTED DISTRIBUTED REAL-TIME LANGUAGE
  • Zuo Zhihong and Gong Tianfu
  • 1996,7(4):244-251 [Abstract(2524)]  [View PDF(2649)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(2583)]  [View PDF(3436)842.82 K]