
Applied Logic for Computer Scientists
Computational Deduction and Formal Proofs
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783319516530
- Udgivelsesdato:7. feb. 2017
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB2
- Filstørrelse:2.72 MB
- Downloadmuligheder:EPUB2 (Adobe DRM)


















































