海词手机词典
  • A new general AND/OR tree is defined in terms of the non-pessimistic decision rule, which is proved to be equivalent in cost value to its best solution tree.

    播放读音 播放读音