【24h】

Preface

机译:前言

获取原文

摘要

The Symposium on Logical Foundations of Computer Science (LFCS) series provides a forum for the fast-growing body of work in the logical foundations of computer science, e.g., those areas of fundamental theoretical logic related to computer science. The LFCS series began with "Logic at Botik," Pereslavl-Zalessky, 1989, which was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver). After that, organization passed to Anil Nerode.
机译:计算机科学逻辑基础(LFCS)系列讨论会提供了一个关于计算机科学逻辑基础的快速增长工作的论坛,例如,与计算机科学相关的基本理论逻辑领域。 LFCS系列始于“Botik的逻辑”Pereslavl-Zalessky,1989年,由Albert R. Meyer(MIT)和Michael Taitslin(TV)共同组织。之后,组织传递给Anil NeRode。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号