67-4963-54 Fundamentals of Logic and Computation 978-3-030-87884-9
仕様
- サブタイトル：With Practical Automated Reasoning and Verification
- 著者：Hou, Zhe
- 叢書名：Texts in Computer Science
- 装丁：Paper
- 頁数他：X, 222 p. 34 illus., 6 illus. in color.
- 発行日：2022/12/05
- 分類：情報数理：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|