张鹏
作品数： 3被引量：0H指数：0
  • 所属机构:吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
  • 所在地区:吉林省 长春市
  • 研究方向:自动化与计算机技术
  • 发文基金:中国博士后科学基金

相关作者

刘磊
作品数：380被引量：1,206H指数：16
供职机构：吉林大学
研究主题：程序设计 本体 检定装置 汽车 营运汽车
周文博
作品数：4被引量：0H指数：0
供职机构：吉林大学计算机科学与技术学院
研究主题：形式语义 工作流模型 交互行为 操作语义 TABULAR
张鹏
作品数：13被引量：15H指数：2
供职机构：吉林大学计算机科学与技术学院
研究主题：本体 TABULAR 程序切片 形式语义 基于梯度
吕帅
作品数：75被引量：175H指数：9
供职机构：吉林大学
研究主题：规划方法 知识编译 可满足性 公理 命题逻辑
张鹏
作品数：1被引量：0H指数：0
供职机构：吉林大学数学学院
研究主题：形式语义 工作流模型 交互行为 元建模
作品列表