论文研究-时空认知逻辑及其算法复杂性 .pdf

【文件属性】：

文件名称：论文研究-时空认知逻辑及其算法复杂性 .pdf

文件大小：1.57MB

文件格式：PDF

更新时间：2022-09-07 12:19:43

计算逻辑

时空认知逻辑及其算法复杂性，吴垠，江敏，纤维方法可以将不同的模态逻辑进行组合，从而得到一个描述能力更强的形式系统， 然而利用这种方法所引起的计算复杂性问题尚不清��