-
金成植
-
-
- 所属机构:吉林大学计算机科学与技术学院
- 所在地区:吉林省 长春市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 刘磊
- 作品数：380被引量：1,216H指数：16
- 供职机构：吉林大学
- 研究主题：程序设计 本体 检定装置 汽车 营运汽车
- 金英
- 作品数：38被引量：75H指数：5
- 供职机构：吉林大学
- 研究主题：ACTION演算 SEAL演算 程序设计 教学方法研究 实践课程
- 宋立彤
- 作品数：6被引量：3H指数：2
- 供职机构：吉林大学计算机科学与技术学院
- 研究主题：程序语言 PROLOG 函数式语言 部分求值技术 部分求值
- 吕江花
- 作品数：83被引量：88H指数：5
- 供职机构：北京航空航天大学
- 研究主题：航天器 MONAD 形式化 自动化测试 大数据量
- 袁琦
- 作品数：12被引量：11H指数：3
- 供职机构：吉林大学
- 研究主题：面向对象 函数式语言 MONAD 程序设计 部分求值
