-
孙怀民
-
-
- 所属机构:北京航空航天大学计算机学院
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家高技术研究发展计划
相关作者
- 姜涛
- 作品数：3被引量：3H指数：1
- 供职机构：北京航空航天大学计算机学院
- 研究主题：逻辑程序 逻辑 自动编程 DBTOOLS PROLOG
- 王立国
- 作品数：4被引量：12H指数：2
- 供职机构：北京航空航天大学
- 研究主题：飞行模拟器 结构参数 电液负载仿真台 频率响应 液压系统
- 梁群
- 作品数：1被引量：0H指数：0
- 供职机构：中国科学院软件研究所
- 研究主题：逻辑 项重写 自动程序设计 重写技术
- 谢康
- 作品数：1被引量：0H指数：0
- 供职机构：北京航空航天大学计算机学院
- 研究主题：项重写系统 LAKATOS
