67-5004-94 Temporal Type Theory 978-3-030-00703-4
仕様
- サブタイトル：A Topos-Theoretic Approach to Systems and Behavior
- 著者：Schultz, Patrick/Spivak, David I.
- 叢書名：Progress in Computer Science and Applied Logic
- Vol.29
- 装丁：Hard
- 頁数他：VIII, 235 p. 67 illus., 7 illus. in color.
- 発行日：2019/02/11
- 分類：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|