海词手机词典
  • We systematically investigates the properties of Roos-extensions that is modified the defect of default logic, and the properties , compution of the extension of cumulative default logic(CDL).

    播放读音 播放读音