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 Recent Advances in Information and Communication Technology 2019 by

bigCover of the book The EU, Promoting Regional Integration, and Conflict Resolution by

bigCover of the book Solid Modeling and Applications by

bigCover of the book Principles of Agronomy for Sustainable Agriculture by

bigCover of the book The Climatology of Air-Mass and Frontal Extreme Precipitation by

bigCover of the book Public Service Broadcasting and Media Systems in Troubled European Democracies by

bigCover of the book Static and Dynamic Buckling of Thin-Walled Plate Structures by

bigCover of the book Magical Manuscripts in Early Modern Europe by

bigCover of the book Unlocking the Secrets of White Dwarf Stars by

bigCover of the book Yosida Approximations of Stochastic Differential Equations in Infinite Dimensions and Applications by

bigCover of the book Quality, Reliability, Security and Robustness in Heterogeneous Systems by

bigCover of the book Glaciation and Speleogenesis by

bigCover of the book Resisting Neoliberalism in Higher Education Volume I by

bigCover of the book Information Sharing in Military Operations 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