子句型缺省逻辑相关硕士博士期刊学术论文 - 信丰网

子句型缺省逻辑相关论文

子句型缺省逻辑中的分情形推理

引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计......

期刊

分情形推理子句型缺省逻辑 Roos扩张计算复杂性 Algorithms Computational complexity Formal logic Infe

看过本文同时还关注