位置:成果数据库 > 期刊 > 期刊详情页
LP ( X )中M P归结推理MP Resolution Inference in LP( X )
  • ISSN号:1001-7402
  • 期刊名称:模糊系统与数学
  • 时间:2013
  • 页码:30-35
  • 相关项目:基于格值逻辑的α-n(t)元归结动态自动推理研究
同期刊论文项目
期刊论文 279 会议论文 102 获奖 8
同项目期刊论文
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编:刘应明
  • 地址:湖南长沙国防科技大学理学院
  • 邮编:410073
  • 邮箱:fuzzysys@cfsm.cn
  • 电话:0731-84576220
  • 国际标准刊号:ISSN:1001-7402
  • 国内统一刊号:ISSN:43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》(Mathematical Reviews)核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:8133