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