位置:成果数据库 > 期刊 > 期刊详情页
The finite model property for semilinear substructural logics
  • 期刊名称:Math. Log. Quart.
  • 时间:2013.7.10
  • 页码:268-273
  • 相关项目:模糊推理与不确定性决策理论的结合研究
作者: San-Min Wang|
同期刊论文项目
期刊论文 46 会议论文 3 著作 2
同项目期刊论文