|国家科技期刊平台
| 注册
首页|期刊导航|北京师范大学学报：自然科学版|关于1阶域论命题的可满足性

关于1阶域论命题的可满足性

王世强

北京师范大学学报：自然科学版1996，Vol.32Issue(3)：P.321-324,4.
✕
北京师范大学学报：自然科学版1996，Vol.32Issue(3)：P.321-324,4.

关于1阶域论命题的可满足性

王世强1

作者信息

  • 1. 北京师范大学数学系
  • 折叠

摘要

关键词

模型论/有限可满足性/域论命题/可满足性

分类

数理科学

引用本文复制引用

王世强..关于1阶域论命题的可满足性[J].北京师范大学学报：自然科学版,1996,32(3):P.321-324,4.

基金项目

国家自然科学基金 （）

北京师范大学学报：自然科学版

OA北大核心CSCD

0476-0301

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