·2,447,543篇论文数据,部分数据来源于NoteExpress
最后,本文讨论了统计缺省逻辑扩充的性质与计算,并定义和研究了闭正规的统计缺省逻辑的性质及其证明理论。
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
应用推荐
模块上移
模块下移
不移动