-
郑红军
-
-
- 所属机构:北京大学数学科学学院信息科学系
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 张乃孝
- 作品数：24被引量：126H指数：8
- 供职机构：北京大学数学科学学院
- 研究主题：程序设计语言 程序语言 程序设计 数据结构 语言
- 刘磊
- 作品数：380被引量：1,221H指数：16
- 供职机构：吉林大学
- 研究主题：程序设计 本体 检定装置 汽车 营运汽车
- 金成植
- 作品数：51被引量：72H指数：4
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：函数式语言 程序语言 部分求值 程序设计 MONAD
- 裘宗燕
- 作品数：20被引量：68H指数：5
- 供职机构：北京大学数学科学学院
- 研究主题：程序设计语言 语言 形式化方法 异常处理 程序设计
