您的位置： 专家智库 > >

国家高技术研究发展计划(2006AA01Z429)

作品数：7 被引量：15H指数：3
相关作者：王戟李冰鹏陈火旺刘万伟娄国哲更多>>
相关机构：国防科学技术大学中国人民解放军南京政治学院中国人民解放军总政治部更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 7个自动化与计算...
  • 3个经济管理
  • 3个哲学宗教
  • 3个生物学
  • 3个天文地球
  • 3个化学工程
  • 3个矿业工程
  • 3个石油与天然气...
  • 3个冶金工程
  • 3个金属学及工艺
  • 3个机械工程
  • 3个动力工程及工...
  • 3个电子电信
  • 3个电气工程
  • 3个建筑科学
  • 3个水利工程
  • 3个轻工技术与工...
  • 3个交通运输工程
  • 3个航空宇航科学...
  • 3个环境科学与工...

主题

  • 6个自动机
  • 5个语义WEB服...
  • 5个指向
  • 5个时序逻辑
  • 5个台下
  • 5个可满足性
  • 5个可判定性
  • 5个计算机
  • 5个计算机软件
  • 5个公理
  • 5个公理化
  • 5个公理系统
  • 5个复杂度
  • 4个软构件
  • 3个大维
  • 3个大苇莺
  • 2个大宛齐油田
  • 2个大王
  • 2个大网膜
  • 2个大位移

机构

  • 7个国防科学技术...
  • 3个安徽工业大学
  • 3个安徽省农业科...
  • 3个安徽新华学院
  • 3个安徽医科大学
  • 3个北方工业大学
  • 3个北方民族大学
  • 3个北海道大学
  • 3个北京工商大学
  • 3个北京工业职业...
  • 3个北京航空工程...
  • 3个北京印刷学院
  • 3个北京应用物理...
  • 3个北京中医药大...
  • 3个滨州医学院
  • 3个财政部财政科...
  • 3个昌吉学院
  • 3个长春理工大学
  • 3个长春师范学院
  • 3个长春中医药大...

作者

  • 7个王戟
  • 6个刘万伟
  • 6个陈火旺
  • 5个王挺
  • 5个魏登萍
  • 5个文艳军
  • 5个徐厚峰
  • 5个马晓东
  • 4个陈杰
  • 3个张晓华
  • 3个丁亮
  • 3个丁君
  • 3个丁士卫
  • 3个丁孔芸
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个张晓华
  • 2个孙昌奇

传媒

  • 6个计算机研究与...
  • 6个计算机工程与...
  • 3个分析化学
  • 3个分子科学学报
  • 3个化工科技
  • 3个工业安全与环...
  • 3个中华精神科杂...
  • 3个商业时代
  • 3个自然科学史研...
  • 3个中国科技论坛
  • 3个中国临床药理...
  • 3个中国药物依赖...
  • 3个中国计划生育...
  • 3个植物学通报
  • 3个资源科学
  • 3个植物生态学报
  • 3个林业科学
  • 3个生态学报
  • 3个中国仪器仪表
  • 3个心理学报
共 7 条 记 录，以下是 1-7
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划
相关领域：天文地球 医药卫生 理学 农业科学 自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
教育部“新世纪优秀人才支持计划”(NCET-04-0996)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
教育部“新世纪优秀人才支持计划”
相关领域：经济管理 自动化与计算机技术 理学 医药卫生 电子电信
相关作品相关人物相关机构相关资助相关领域
国家重点基础研究发展计划(2005CB321802)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(90612009)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60725206)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0