位置:成果数据库 > 期刊 > 期刊详情页
alpha-Linear Resolution Method Based on Linguistic Truth-Valued Lattice-Valued Propositional Logic S
  • 期刊名称:Journal of Computational Information Systems
  • 时间:2012
  • 页码:6749-6756
  • 相关项目:关于程度化格值一阶逻辑的若干关键问题研究
同期刊论文项目
同项目期刊论文