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 Fundamentals of Biomechanics by
bigCover of the book Development of Quality of Life Theory and Its Instruments by
bigCover of the book Policy Capacity and Governance by
bigCover of the book Women in Medicine in Nineteenth-Century American Literature by
bigCover of the book The Precarious in the Cinemas of the Americas by
bigCover of the book Architectural Theorisations and Phenomena in Asia by
bigCover of the book Synopsis of Pathophysiology in Nuclear Medicine by
bigCover of the book Smart Cities by
bigCover of the book International Congress on Energy Efficiency and Energy Related Materials (ENEFM2013) by
bigCover of the book New Approaches in History and Theology to Same-Sex Love and Desire by
bigCover of the book Productive Biofilms by
bigCover of the book Beckett and Modernism by
bigCover of the book Computer Systems by
bigCover of the book Jane Austen and the Victorian Heroine by
bigCover of the book Distributed Embedded Controller Development with Petri Nets 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