The strict proof of this new implication base is complete and non-redundant for one reducible rule that adding attribute to premise and subtract attribute from conclusion is presented.
英
美
释义
我们给出了这种新的蕴含基对前提加属性和结论减属性一条推导规则是完整、无冗余的严格证明。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载