位置:成果数据库 > 期刊 > 期刊详情页
基于有限格蕴涵代数的格值命题逻辑语义系统
  • 期刊名称:西南交通大学学报
  • 时间:0
  • 作者或编辑:3448
  • 第一作者所属机构:西南交通大学
  • 页码:第37卷,第5期,pp557-560,2002
  • 语言:中文
  • 相关项目:基于格值逻辑的不确定性推理研究
同期刊论文项目
期刊论文 93 会议论文 96 著作 1
同项目期刊论文