The Logic in Computer Science Column

被引：0
|
作者：
Gurevich, Yuri [1 ]
机构：
[1] Gurevich, Yuri
来源：
Gurevich, Yuri (gurevich@umich.edu) | 1600年 / European Association for Theoretical Computer Science卷 / 2021期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Blass, Andreas
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2024, (143): : 39 - 55
  • [2] The logic in computer science column
    Gurevich, Yuri
    Bulletin of the European Association for Theoretical Computer Science, 2014, (113):
  • [3] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Oberhoff, Sebastian
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2019, (128): : 91 - 105
  • [4] The logic in computer science column
    Gurevich, Yuri
    Gruünheid, Anja
    Kossmann, Donald
    Nushi, Besmira
    Bulletin of the European Association for Theoretical Computer Science, 2013, 111 : 88 - 96
  • [5] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Blass, Andreas
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2023, (141): : 7 - 10
  • [6] THE LOGIC IN COMPUTER SCIENCE COLUMN
    Gurevich, Yuri
    Barak, Boaz
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2012, (108): : 130 - 142
  • [7] The logic in computer science column
    Urevich, Yuri
    Bulletin of the European Association for Theoretical Computer Science, 2021, 2021 (134):
  • [8] The logic in computer science column
    Gurevich, Yuri
    Bulletin of the European Association for Theoretical Computer Science, 2019, 2019 (127):
  • [9] Y. Gurevich: The Logic in Computer Science Column Generalized Quantifiers
    Vaeaenaenen, J.
    Bulletin of the European Association for Theoretical Computer Science, (62):
  • [10] LOGIC IN COMPUTER SCIENCE
    Serna, Edgar M.
    REVISTA EDUCACION EN INGENIERIA, 2013, 8 (15): : 62 - 68
12345