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 Time-Symmetry Breaking in Turbulent Multi-Particle Dispersion by

bigCover of the book Philosophizing Madness from Nietzsche to Derrida by

bigCover of the book Inorganic Polyphosphates in Eukaryotic Cells by

bigCover of the book Plant-Growth-Promoting Rhizobacteria (PGPR) and Medicinal Plants by

bigCover of the book Planetary Geology by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book New Knowledge in Information Systems and Technologies by

bigCover of the book Vladimir Solov’ëv's Justification of the Moral Good by

bigCover of the book Functional Mitral and Tricuspid Regurgitation by

bigCover of the book The Spectrum of Gratitude Experience by

bigCover of the book Exploring Digital Ecosystems by

bigCover of the book Interdisciplinary Handbook of Trauma and Culture by

bigCover of the book Algorithms and Architectures for Parallel Processing by

bigCover of the book Rethinking Climate and Energy Policies 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