位置:成果数据库 > 期刊 > 期刊详情页
alpha-Group Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Propositional Logic LP(X)
  • ISSN号:1542-3980
  • 期刊名称:Journal of Multiple-Valued Logic and Soft Computin
  • 时间:2014
  • 页码:581-598
  • 相关项目:关于程度化格值一阶逻辑的若干关键问题研究
同期刊论文项目
同项目期刊论文