TARB book review: Robert Goldblatt, Logics of Time and Computation

DOI

Bibliographic Information

Other Title
  • TARB書評: Robert Goldblatt, Logics of Time and Computation

Abstract

本書は数理論理学の理論計算機科学への応用についてコンパクトでありながらも最先端の高度な話題まで網羅している、この分野の標準的な教科書である。...

Journal

Keywords

Details 詳細情報について

  • CRID
    1390018198843687552
  • DOI
    10.52509/tarb0062
  • ISSN
    24355712
  • Text Lang
    ja
  • Data Source
    • JaLC
  • Abstract License Flag
    Allowed

Report a problem

Back to top