简介 成绩及荣誉 获学术奖励情况举例 简介 姜云飞,男,1945年生,中山大学计算机软件所教授,博士导师, 中国计算机学会理事,中国计算机教育专业委员会秘书长, 中国计算机学会人工智能专业委员会自动推理学组组长。现任吉林大学珠海学院计算机科学与技术系主任。姜云飞教授曾访问过英、美等国,在国际国内著名计算机刊物上曾发表过论文30多篇和《定理机器证明》(和刘叙华教授合著,科学
详情>>
姜云飞
简介成绩及荣誉获学术奖励情况举例简介姜云飞,男,1945年生,中山大学计算机软件所教授,博士导师,中国计算机学会理事,中国计算机教育专业委员会秘书长,中国计算机学会人工智能专业委员会自动推理学组组长。现任吉林大学珠海学院计算机科学与技术系主任。姜云飞教授曾访问过英、美等国,在国际国内著名计算机刊物上曾发表过论文30多篇和《定理机器证明》(和刘叙华教授合著,科学出版社出版)等多部著作。成绩及荣誉姜云 详情>>
姜云飞 姜云 云飞