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 Electronic Components and Systems for Automotive Applications by

bigCover of the book Quantum Many-Body Physics of Ultracold Molecules in Optical Lattices by

bigCover of the book Ethnocentric Political Theory by

bigCover of the book Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments by

bigCover of the book Uterine Fibroids by

bigCover of the book Intelligent Computing Systems by

bigCover of the book Atlas of Endoscopic Plastic Surgery by

bigCover of the book Clinical Videoconferencing in Telehealth by

bigCover of the book Image Analysis and Processing - ICIAP 2017 by

bigCover of the book A Readable Introduction to Real Mathematics by

bigCover of the book Art, Design and Technology: Collaboration and Implementation by

bigCover of the book A Comparative Doxastic-Practice Epistemology of Religious Experience by

bigCover of the book Programming Heterogeneous MPSoCs by

bigCover of the book Eighteenth-Century Women's Writing and the 'Scandalous Memoir' by

bigCover of the book Einstein's Photoemission 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