您的位置： 专家智库 > >

邱伟德

作品数：8 被引量：4H指数：1
供职机构：上海工业大学更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

领域

  • 2个理学
  • 1个自动化与计算...
  • 1个自然科学总论

主题

  • 1个定理
  • 1个语义
  • 1个语义解释
  • 1个中介逻辑
  • 1个前缀
  • 1个前缀码
  • 1个完备性定理
  • 1个命题演算
  • 1个可满足性
  • 1个可判定性
  • 1个极大前缀码
  • 1个构造性
  • 1个构造性证明
  • 1个复杂度

机构

  • 1个同济大学
  • 1个上海大学
  • 1个上海城市建设...
  • 1个上海工业大学

传媒

  • 1个数学学报（中...
  • 1个自然杂志
  • 1个计算机应用与...
  • 1个Journa...
  • 1个高校应用数学...
  • 1个南京师大学报...

地区

  • 2个上海市
共 2 条 记 录，以下是 1-2
邹晶
供职机构：上海大学
研究主题：命题演算 中介逻辑 极大前缀码 前缀码 复杂度
发表作品相关人物供职机构所获资助研究领域
章亮
供职机构：上海城市建设学院
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0