缺省证明理论
基于1个网页-相关网页
default proof theory
默认证明论
以上为机器翻译结果，长、整句建议使用 人工翻译 。
At last, we discuss the properties and computation of the statistical default logic, at the same time, we define and study the properties and proof theory of the normal statistical default logic.
最后，本文讨论了统计缺省逻辑扩充的性质与计算，并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
youdao
应用推荐
模块上移
模块下移
不移动