您的位置： 专家智库 > >

国家自然科学基金(60573011)

作品数：4 被引量：2H指数：1
相关作者：赵希顺聂文龙邱玉文冯嘉礼沈榆平更多>>
相关机构：中山大学上海海事大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：理学自动化与计算机技术更多>>

领域

  • 1个自动化与计算...
  • 1个理学

主题

  • 1个序集
  • 1个英文
  • 1个认证性
  • 1个同构
  • 1个图同构
  • 1个偏序
  • 1个偏序集
  • 1个自动化
  • 1个自动化验证
  • 1个连续DOMA...
  • 1个连续格
  • 1个秘密性
  • 1个极大元
  • 1个极小不可满足...
  • 1个既约
  • 1个非单调推理
  • 1个改名
  • 1个SPV
  • 1个VERIFI...
  • 1个APPROA...

机构

  • 1个贵州大学
  • 1个南京大学
  • 1个暨南大学
  • 1个北京工业大学
  • 1个扬州大学
  • 1个中山大学

作者

  • 1个沈榆平
  • 1个陈清亮
  • 1个吕关锋
  • 1个许道云
  • 1个杨晋吉
  • 1个赵希顺
  • 1个姜广浩
  • 1个徐罗山
  • 1个岳伟亚
  • 1个肖茵茵
  • 1个苏开乐

传媒

  • 1个模糊系统与数...
  • 1个计算机学报
  • 1个南京大学学报...
  • 1个Scienc...
共 1 条 记 录，以下是 1-1
国家自然科学基金(10410638)
相关领域：自动化与计算机技术 理学
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0