位置：成果数据库 > 获奖 > 获奖详情页
非经典计算的形式化模型与逻辑基础
  • 类别：2008年度国家自然科学奖（二等）
  • 级别：二等奖
  • 所属机构名称：清华大学
  • 成果类型：获奖
  • 相关项目：量子软件的理论与方法
同获奖项目
量子软件的理论与方法
期刊论文 36 会议论文 10 获奖 2 著作 1
同项目获奖
非经典计算的形式化模型与逻辑基础