Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming
Big bigCover of Applied Logic for Computer Scientists

More books from Springer International Publishing

bigCover of the book Marburg- and Ebolaviruses by
bigCover of the book Field Archaeology from Around the World by
bigCover of the book Charting the Roots of Anti-Chinese Populism in Africa by
bigCover of the book An Introduction to Special Functions by
bigCover of the book Institutions, Governance and the Control of Corruption by
bigCover of the book Electrochemical Sensing: Carcinogens in Beverages by
bigCover of the book Formality Theory by
bigCover of the book Symmetries in Graphs, Maps, and Polytopes by
bigCover of the book Gender Training by
bigCover of the book Ethiopian Yearbook of International Law 2016 by
bigCover of the book Smart Card Research and Advanced Applications by
bigCover of the book Locally Convex Spaces by
bigCover of the book Bernard Shaw’s Fiction, Material Psychology, and Affect by
bigCover of the book Mathematician for All Seasons by
bigCover of the book Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers 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