李跃
作品数： 4被引量：10H指数：2
  • 所属机构:首都师范大学
  • 所在地区:北京市
  • 研究方向:文化科学
  • 发文基金:国家自然科学基金

相关作者

关永
作品数：343被引量：1,160H指数：16
供职机构：首都师范大学
研究主题：形式化验证 定理证明 嵌入式系统 形式化 机器人
施智平
作品数：181被引量：609H指数：11
供职机构：首都师范大学
研究主题：形式化验证 定理证明 形式化 图像检索 机器人
作品列表