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