Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Applied Logic for Computer Scientists

More books from Springer International Publishing

bigCover of the book PAL Driven Organizational Learning: Theory and Practices by

bigCover of the book Contextual Cognition by

bigCover of the book Inequality and Organizational Practice by

bigCover of the book From Classical to Modern Algebraic Geometry by

bigCover of the book Social Entrepreneurship by

bigCover of the book Jealousy in Infants by

bigCover of the book Economic Ethics in Late Medieval England, 1300–1500 by

bigCover of the book Competence Based Education and Training (CBET) and the End of Human Learning by

bigCover of the book The Mathematics of Elections and Voting by

bigCover of the book CMOS Front Ends for Millimeter Wave Wireless Communication Systems by

bigCover of the book Advances in Cryptology – EUROCRYPT 2017 by

bigCover of the book Nonlinear Circuits and Systems for Neuro-inspired Robot Control by

bigCover of the book The Semantic Web – ISWC 2016 by

bigCover of the book Web Services, Formal Methods, and Behavioral Types by

bigCover of the book Fundamentals of IP and SoC Security 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