【24h】

Preface

机译:前言

获取原文
获取原文并翻译 | 示例

摘要

This Festschrift is published in honor of Yuri Gurevich, on the occasion of his 75th birthday. Yuri Gurevich has made fundamental contributions to the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015.
机译:为庆祝尤里·居里维奇(Yuri Gurevich)诞辰75周年,出版了此纪念节。 Yuri Gurevich对逻辑和计算机科学的广泛领域做出了根本性贡献,包括决策程序,单子顺序理论,抽象状态机,形式方法,计算机科学的基础,安全性等等。这些方面的许多内容都反映在本Festschrift的文章中以及2015年9月11日至12日在德国柏林举行的“ Yurifest”研讨会上的演讲中。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号