位置:成果数据库 > 期刊 > 期刊详情页
A syntactical proof of equivalence between HpsUL and FFL
  • ISSN号:0972-0871
  • 期刊名称:Far East Journal of Mathematical Sciences
  • 时间:0
  • 页码:39-47
  • 语言:英文
  • 相关项目:模糊逻辑证明论、量词理论及蕴涵算子的构造问题研究
作者: 王三民|
同期刊论文项目
同项目期刊论文