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).
英
美
释义
本文还系统地研究了为修正缺省逻辑的缺陷而提出的Roos扩充以及累积缺省逻辑的扩充问题。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载