Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
価格： ￥4,035
カテゴリ： ペーパーバック
ブランド： Dover Publications
関連商品
- Machine Learning: A Probabilistic Perspective (Adaptive Computation and Machine Learning series)
- Deep Learning (Adaptive Computation and Machine Learning)
- The Little Prover (The MIT Press)
- Natural Deduction: A Proof-Theoretical Study
- Computational Complexity: A Modern Approach
- Computability and Logic
- Lambda-Calculus and Combinators: An Introduction
- Automate the Boring Stuff with Python: Practical Programming for Total Beginners
- プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト)