您的位置： 专家智库 > >

李勇坚

作品数：7 被引量：9H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国际科技合作与交流专项项目国家自然科学基金北京市教委科学研究与科研基地建设项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 9个自动化与计算...
  • 5个电气工程
  • 5个理学
  • 4个经济管理
  • 4个生物学
  • 4个化学工程
  • 4个石油与天然气...
  • 4个冶金工程
  • 4个机械工程
  • 4个动力工程及工...
  • 4个电子电信
  • 4个水利工程
  • 4个轻工技术与工...
  • 4个交通运输工程
  • 4个环境科学与工...
  • 4个医药卫生
  • 4个农业科学
  • 4个政治法律
  • 4个文化科学
  • 4个语言文字

主题

  • 9个定理
  • 9个定理证明
  • 9个形式化
  • 9个形式化验证
  • 9个雅可比
  • 9个雅可比矩阵
  • 9个有界模型检测
  • 9个运动学
  • 9个运动学反解
  • 9个机器人
  • 9个机器人运动
  • 9个机器人运动学
  • 9个几何代数
  • 9个共形几何代数
  • 9个反解
  • 9个高阶逻辑
  • 9个ROS
  • 9个XML-RP...
  • 9个HOL
  • 8个形式化方法

机构

  • 9个北京化工大学
  • 9个北京航空航天...
  • 9个首都师范大学
  • 9个中国科学院研...
  • 9个中国科学院软...
  • 5个清华大学
  • 5个田纳西大学
  • 4个北京工商大学
  • 4个北京中医药大...
  • 3个安徽工业大学
  • 3个安徽医科大学
  • 3个北方工业大学
  • 3个北京市药品检...
  • 3个北京印刷学院
  • 2个安徽省农业科...
  • 2个北方民族大学
  • 2个北海道大学
  • 2个北京跟踪与通...
  • 2个北京航空工程...
  • 2个北京矿产地质...

作者

  • 9个施智平
  • 9个魏洪兴
  • 9个关永
  • 9个张杰
  • 9个李勇坚
  • 9个李晓娟
  • 9个李黎明
  • 9个叶世伟
  • 9个杨秀梅
  • 9个马莎
  • 9个贾娟娟
  • 7个王瑞
  • 5个袁慧梅
  • 5个渠瀛
  • 4个龚国庆
  • 3个崔玲丽
  • 3个蒋长好
  • 3个郭长彬
  • 2个张晓华
  • 2个董萍萍

传媒

  • 9个小型微型计算...
  • 9个计算机工程与...
  • 5个计算机应用与...
  • 5个软件学报
  • 5个计算机仿真
  • 5个计算机科学
  • 5个传感器与微系...
  • 4个林业科学
  • 4个生态学报
  • 3个分析化学
  • 3个工业安全与环...
  • 3个中华精神科杂...
  • 3个中国科技论坛
  • 3个中国临床药理...
  • 3个中国药物依赖...
  • 3个中国计划生育...
  • 3个植物学通报
  • 2个化工科技
  • 2个吉林蔬菜
  • 2个医疗装备
共 9 条 记 录，以下是 1-9
国家自然科学基金(61104035)
相关领域：自动化与计算机技术 冶金工程 理学 自然科学总论
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
北京市优秀人才培养资助
相关领域：医药卫生 经济管理 自动化与计算机技术 农业科学 文化科学
相关作品相关人物相关机构相关资助相关领域
北京市教委科学研究与科研基地建设项目
相关领域：自动化与计算机技术 机械工程 交通运输工程 农业科学 经济管理
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目(2011DFG13000)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(61170304)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(61070049)
相关领域：自动化与计算机技术 电气工程
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目
相关领域：农业科学 医药卫生 自动化与计算机技术 天文地球 环境科学与工程
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目(2010DFB10930)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0