位置:成果数据库 > 期刊 > 期刊详情页
alpha-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional
  • ISSN号:1875-6891
  • 期刊名称:International Journal of Computational Intelligenc
  • 时间:2015.12.11
  • 页码:75-84
  • 相关项目:基于格值逻辑的α-n(t)元归结动态自动推理研究
同期刊论文项目
期刊论文 279 会议论文 102 获奖 8
同项目期刊论文