您的位置： 专家智库 > >

徐贵红

作品数：2 被引量：13H指数：1
供职机构：中国科学院研究生院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

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

主题

  • 1个电路
  • 1个定理证明
  • 1个对齐
  • 1个多线程
  • 1个多线程程序
  • 1个形式规约
  • 1个形式化
  • 1个形式化方法
  • 1个一阶逻辑
  • 1个一阶谓词
  • 1个一阶谓词逻辑
  • 1个移动互联
  • 1个移动互联网
  • 1个异常处理
  • 1个英文
  • 1个优化技术
  • 1个语义网
  • 1个约束满足问题
  • 1个约束问题
  • 1个运算电路

机构

  • 1个中国科学院
  • 1个中国科学院软...
  • 1个中国科学院大...

资助

  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个国家自然科学...
  • 1个中国科学院留...
  • 1个国家杰出青年...
  • 1个中国科学院知...
  • 1个中国科学院重...

传媒

  • 1个自动化学报
  • 1个计算机研究与...
  • 1个计算机学报
  • 1个计算机应用与...
  • 1个软件学报
  • 1个计算机工程与...
  • 1个计算机科学
  • 1个计算机技术与...
  • 1个计算机科学与...

地区

  • 1个北京市
共 1 条 记 录，以下是 1-1
张健
供职机构：中国科学院软件研究所
研究主题：一阶逻辑 程序静态分析 软件测试 软件开发 并发程序
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0