N元格蕴涵代数不等式的解2
- ISSN号:1671-5365
- 期刊名称:宜宾学院学报
- 时间:2012.6
- 页码:4-6
- 相关项目:基于格值逻辑的α-n(t)元归结动态自动推理研究
同期刊论文项目
同项目期刊论文
期刊信息
- 主管单位:四川省教育厅
- 主办单位:宜宾学院
- 主编:汪明义
- 地址:四川宜宾市翠屏区酒圣路8号
- 邮编:644000
- 邮箱:yb3545010@sina.com
- 电话:0831-3531118
- 国际标准刊号:ISSN:1671-5365
- 国内统一刊号:ISSN:51-1630/Z
- 邮发代号:
- 获奖情况:
- 全国优秀社科学报,全国高校人文社会科学质量进步奖,四川省高校社科优秀学报,首届《CAJ-CD规范》执行优秀期刊
- 国内外数据库收录:
- 中国国家哲学社会科学学术期刊数据库