|国家科技期刊平台
| 注册
首页|期刊导航|南京航空航天大学学报|中介模态逻辑MS_4的表推演系统

中介模态逻辑MS_4的表推演系统

宫宁生 张东摩 朱梧槚

南京航空航天大学学报1995，Vol.27Issue(5)：P.668-673,6.
✕
南京航空航天大学学报1995，Vol.27Issue(5)：P.668-673,6.

中介模态逻辑MS_4的表推演系统

宫宁生 1张东摩 1朱梧槚1

作者信息

  • 1. 南京航空航天大学计算机科学与工程系
  • 折叠

摘要

关键词

数理逻辑/模态逻辑/人工智能/表推演/定理证明器

分类

数理科学

引用本文复制引用

宫宁生,张东摩,朱梧槚..中介模态逻辑MS_4的表推演系统[J].南京航空航天大学学报,1995,27(5):P.668-673,6.

基金项目

国家高技术研究发展计划资助 （）

南京航空航天大学学报

OA北大核心CSCD

2097-6771

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