TARB書評: Robert Goldblatt, Logics of Time and Computation
-
- 高木 翼
- 北陸先端科学技術大学院大学
書誌事項
- タイトル別名
-
- TARB book review: Robert Goldblatt, Logics of Time and Computation
抄録
本書は数理論理学の理論計算機科学への応用についてコンパクトでありながらも最先端の高度な話題まで網羅している、この分野の標準的な教科書である。...
収録刊行物
-
- Tokyo Academic Review of Books
-
Tokyo Academic Review of Books 62 1-, 2024-04-02
やまなみ書房
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390018198843687552
-
- ISSN
- 24355712
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
-
- 抄録ライセンスフラグ
- 使用可