|国家科技期刊平台
| 注册
首页|期刊导航|南京大学学报：自然科学版|中介逻辑的谓词演算系统（Ⅱ）

中介逻辑的谓词演算系统（Ⅱ）

朱梧jia 肖奚安

南京大学学报：自然科学版1989，Vol.25Issue(2)：165-176,12.
✕
南京大学学报：自然科学版1989，Vol.25Issue(2)：165-176,12.

中介逻辑的谓词演算系统（Ⅱ）

朱梧jia 1肖奚安1

作者信息

  • 折叠

摘要

关键词

中介逻辑/谓词演算系统

分类

数理科学

引用本文复制引用

朱梧jia,肖奚安..中介逻辑的谓词演算系统（Ⅱ）[J].南京大学学报：自然科学版,1989,25(2):165-176,12.

南京大学学报：自然科学版

0469-5097

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