67-4963-50 Applied Logic for Computer Scientists 978-3-319-51651-6
仕様
- サブタイトル：Computational Deduction and Formal Proofs
- 著者：Ayala-Rincón, Mauricio/de Moura, Flávio L. C.
- 叢書名：Undergraduate Topics in Computer Science
- 装丁：Paper
- 頁数他：XVIII, 150 p. 4 illus.
- 発行日：2017/02/13
- 分類：情報数理：数理論理学
よくあるご質問（FAQ）
掲載カタログ情報
| 掲載カタログ名 | 掲載ページ |
|---|