位置：立项数据库 > 立项详情页
连续状态空间上的谓词转换器语义
  • 项目名称：连续状态空间上的谓词转换器语义
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：60811130083
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：应明生
  • 依托单位：清华大学
  • 批准年度：2008
应明生的项目
量子软件的理论与方法
期刊论文 36 会议论文 10 获奖 2 著作 1
面向随机性的形式化方法
智能信息处理的理论与方法
期刊论文 61 会议论文 57 获奖 1 著作 1
智能信息处理的理论与方法
期刊论文 84 会议论文 9
第6届智能文本处理与计算语言学国际会议
11届国际模糊系统协会年会