名字 | 陈火炎 |
解析 | 陈火炎 【介绍】: 教授。 男,1945年9月出生,福建安溪人。暨南大学计算机科学系教师。毕业于暨南大学。 主要贡献及着述:开设新课程《逻辑程序设计和知识信息处理》,编写了约20万字的教材《逻辑程序和知识处理系统》。 多次出国进修并参加技术合作。在科研工作中也取得可喜成果,曾先後参加美国宇航局和香港政府资助的较大型研究项目。 1987年以来,独立完成及与人合撰了中英文学术论文《分析逻辑程序的一种有效工具——推导格式》等11篇,发表于美国国家技术信息中心出版的《智能系统方法第二次国际学术会议论文集》、香港大学出版的《IEEE计算机科学:人工智能理论和应用1988国际学术会议论文集》等国内外书刊上。还获得过2个省级科研成果奖和3项科学基金。 |
随便看 |
宝宝取名字大全收录352129条名字词条,基本涵盖了全部常见男女名字的字义及寓意解析,是宝宝取名的有利工具。