Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming
Big bigCover of Applied Logic for Computer Scientists

More books from Springer International Publishing

bigCover of the book Clues in the Diagnosis of Non-tumoral Testicular Pathology by
bigCover of the book Wine Queens by
bigCover of the book Landscapes and Landforms of South Africa by
bigCover of the book A Play for Oil by
bigCover of the book CEOs and White-Collar Crime by
bigCover of the book Analysis of Images, Social Networks and Texts by
bigCover of the book Advances in Human Factors in Robots and Unmanned Systems by
bigCover of the book The Finite Volume Method in Computational Fluid Dynamics by
bigCover of the book Statistical Physics of Complex Systems by
bigCover of the book Homogeneous Turbulence Dynamics by
bigCover of the book Studies in Philosophical Realism in Art, Design and Education by
bigCover of the book Computational Science and Its Applications – ICCSA 2018 by
bigCover of the book Statistical Models for Data Analysis by
bigCover of the book Tsunami by
bigCover of the book A Brief Introduction to Continuous Evolutionary Optimization by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy