您的位置： 专家智库 > >

阎安

作品数：1 被引量：5H指数：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个2000年中...

地区

  • 1个北京市
共 1 条 记 录，以下是 1-1
唐稚松
供职机构：中国科学院
研究主题：时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0