金成植
作品数： 51被引量：72H指数：4
  • 所属机构:吉林大学计算机科学与技术学院
  • 所在地区:吉林省 长春市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

刘磊
作品数：380被引量：1,215H指数：16
供职机构：吉林大学
研究主题：程序设计 本体 检定装置 汽车 营运汽车
金英
作品数：38被引量：75H指数：5
供职机构：吉林大学
研究主题：ACTION演算 SEAL演算 程序设计 教学方法研究 实践课程
宋立彤
作品数：6被引量：3H指数：2
供职机构：吉林大学计算机科学与技术学院
研究主题：程序语言 PROLOG 函数式语言 部分求值技术 部分求值
吕江花
作品数：82被引量：88H指数：5
供职机构：北京航空航天大学
研究主题：航天器 MONAD 形式化 自动化测试 大数据量
袁琦
作品数：12被引量：11H指数：3
供职机构：吉林大学
研究主题：面向对象 函数式语言 MONAD 程序设计 部分求值
作品列表