位置:成果数据库 > 会议 > 会议详情页
星型t-模(t*-模)与逻辑系统的弱健全性
  • 所属机构名称:宁波大学
  • 会议名称:中国人工智能进展(2009), 北京邮电大学出版社, 2009: 52-57
  • 成果类型:会议
  • 相关项目:语言量词的积分语义与非可换逻辑研究
同会议论文项目
期刊论文 35 会议论文 16 获奖 1 著作 2
同项目会议论文