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 Seeing Our Planet Whole: A Cultural and Ethical View of Earth Observation by

bigCover of the book Visual Content Indexing and Retrieval with Psycho-Visual Models by

bigCover of the book Lebanese Shi‘ite Leadership, 1920–1970s by

bigCover of the book Using Imperfect Semiconductor Systems for Unique Identification by

bigCover of the book Recent Results on Nonlinear Delay Control Systems by

bigCover of the book Understanding the Course of Social Reality by

bigCover of the book Characterization of Minerals, Metals, and Materials 2017 by

bigCover of the book Microorganisms in Saline Environments: Strategies and Functions by

bigCover of the book Mechatronics 2019: Recent Advances Towards Industry 4.0 by

bigCover of the book Environmental Indicators in Metal Mining by

bigCover of the book Postgrowth and Wellbeing by

bigCover of the book Math for Scientists by

bigCover of the book From the Great Wall to Wall Street by

bigCover of the book Multiple Classifier Systems by

bigCover of the book Industrial Applications of Holonic and Multi-Agent Systems 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