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

DOI

書誌事項

タイトル別名
  • TARB book review: Robert Goldblatt, Logics of Time and Computation

抄録

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

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390018198843687552
  • DOI
    10.52509/tarb0062
  • ISSN
    24355712
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
  • 抄録ライセンスフラグ
    使用可

問題の指摘

ページトップへ