|国家科技期刊平台
| 注册
首页|期刊导航|南京师大学报（自然科学版）|中介逻辑命题演算系统的可满足性的判定复杂度

中介逻辑命题演算系统的可满足性的判定复杂度

邹晶 肖奚安

南京师大学报（自然科学版）1989，Vol.12Issue(1)：20,1.
✕
南京师大学报（自然科学版）1989，Vol.12Issue(1)：20,1.

中介逻辑命题演算系统的可满足性的判定复杂度

邹晶 1肖奚安1

作者信息

  • 折叠

摘要

关键词

中介逻辑/命题演算/可满足性/判定

分类

数理科学

引用本文复制引用

邹晶,肖奚安..中介逻辑命题演算系统的可满足性的判定复杂度[J].南京师大学报（自然科学版）,1989,12(1):20,1.

南京师大学报（自然科学版）

1001-4616

访问量0
|
下载量0
段落导航相关论文