您的位置： 专家智库 > >

国家自然科学基金(69873042)

作品数：9 被引量：22H指数：4
相关作者：董韫美陈海明王泓皓张强张荣华更多>>
相关机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术理学更多>>

领域

  • 5个自动化与计算...
  • 2个理学

主题

  • 5个形式规约
  • 5个规约
  • 4个形式规约语言
  • 3个上下文
  • 3个上下文无关文...
  • 3个上下文无关语...
  • 3个句子生成
  • 3个函数式语言
  • 2个递归
  • 2个递归函数
  • 2个语言
  • 2个语言分析
  • 2个数据结构
  • 2个图形学
  • 2个匹配方法
  • 2个求值
  • 2个计算机
  • 2个计算机图形
  • 2个计算机图形学
  • 2个函数

机构

  • 5个中国科学院软...

资助

  • 5个国家自然科学...
  • 4个“九五”国家...
  • 1个国家高技术研...
  • 1个国家科技重大...

传媒

  • 4个软件学报
  • 2个计算机研究与...
  • 2个计算机学报
  • 2个计算机工程与...
  • 2个863计划智...
  • 1个中国科学（E...
  • 1个计算机工程与...
  • 1个计算机科学
  • 1个中国科学：数...
  • 1个集成技术
  • 1个2006年全...
  • 1个IEEE北京...
  • 1个中国电子学会...
  • 1个第四次全国计...

地区

  • 5个北京市
共 5 条 记 录，以下是 1-5
董韫美
供职机构：中国科学院软件研究所
研究主题：上下文无关语言 递归函数 形式规约语言 计算机图形学 上下文无关文法
发表作品相关人物供职机构所获资助研究领域
陈海明
供职机构：中国科学院软件研究所
研究主题：递归函数 上下文无关语言 形式规约语言 正则表达式 句子生成
发表作品相关人物供职机构所获资助研究领域
张强
供职机构：中国科学院软件研究所
研究主题：函数式语言 形式规约 形式规约语言 匹配方法
发表作品相关人物供职机构所获资助研究领域
王泓皓
供职机构：中国科学院软件研究所
研究主题：句子生成 上下文无关语言 形式规约 人机交互 上下文无关文法
发表作品相关人物供职机构所获资助研究领域
张荣华
供职机构：中国科学院软件研究所
研究主题：形式规约 形式规约语言 虚拟机 函数式语言 中间代码
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0