首页> 外文会议>Symposium on constructive mathematics in computer science >Homage to Michael Gelfond on His 65~th Birthday
【24h】

Homage to Michael Gelfond on His 65~th Birthday

机译:在他的65〜Th岁的生日上致敬迈克尔·格尔弗森

获取原文

摘要

Michael Gelfond is one of the world leading scientists in the field of logic programming and nonmonotonic reasoning. This essay covers several aspects of Michael's personal life, starting from his birth in the USSR, through his experiences in the USSR up to the time he emigrated to the United States (U.S.). This is followed by his first experiences in the U.S.: how he became involved in logic programming and nonmonotonic reasoning and some of his major scientific achievements. Michael is a warm, generous person, and 1 discuss his impact on some colleagues and students. In the concluding section, I observe that starting his career with impediments in the FSU, he overcame them to become one of the top computer scientists in logic programming and nonmonotonic reasoning.
机译:Michael Gelfond是逻辑编程领域的世界领先的科学家之一和非单调的推理。本文涵盖了迈克尔的个人生活的几个方面,从苏联的出生,通过他在苏联的经验,即他移民到美国(美国)的时间。这是他在美国的第一个经历之后:他如何参与逻辑编程和非单调推理以及他的一些主要科学成就。迈克尔是一个温暖,慷慨的人,1讨论了对一些同事和学生的影响。在结论部分中,我观察到他在FSU的障碍开始职业生涯,他克服他们成为逻辑编程和非单调推理的顶级计算机科学家之一。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号