金涛
作品数： 7被引量：23H指数：2
  • 所属机构:武汉大学计算机学院
  • 所在地区:湖北省 武汉市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家高技术研究发展计划

相关作者

刘瑛睿
作品数：2被引量：2H指数：1
供职机构：武汉大学
研究主题：归纳法推理 自动定理证明 人工智能 数学归纳法 基于知识
陈世鸿
作品数：54被引量：101H指数：6
供职机构：武汉大学计算机学院
研究主题：教育资源 多媒体 存取技术 存储架构 政务
章登义
作品数：67被引量：199H指数：9
供职机构：武汉大学
研究主题：烟火 颜色值 林火 查询处理 RDF
宋强
作品数：14被引量：32H指数：3
供职机构：武汉大学政治与公共管理学院
研究主题：Z语言 廉政风险防控 过程描述语言 LOTOS语言 软件工程
石自力
作品数：7被引量：7H指数：2
供职机构：武汉大学计算机学院
研究主题：CAI 归纳法推理 归纳法 计算机 多媒体系统
作品列表