
Applied Logic for Computer Scientists
Computational Deduction and Formal Proofs
Synopsis
About this book
- Language:English
- ISBN:9783319516530
- Release date:Feb 7, 2017
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB2
- File size:2.72 MB
- Download options:EPUB2 (Adobe DRM)