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 Shipbreaking: Hazards and Liabilities by
bigCover of the book The Micro-World Observed by Ultra High-Speed Cameras by
bigCover of the book Trauma and Lived Religion by
bigCover of the book Protective Coatings by
bigCover of the book Maximum Principles and Geometric Applications by
bigCover of the book Law and the Transition to Business Sustainability by
bigCover of the book Poás Volcano by
bigCover of the book Latinx Immigrants by
bigCover of the book Parametric Packet-based Audiovisual Quality Model for IPTV services by
bigCover of the book New Digital Technology in Education by
bigCover of the book The Materials and Craft of Early Iconographers by
bigCover of the book Quantum Triangulations by
bigCover of the book Reinventing Innovation by
bigCover of the book Applied Computing and Information Technology by
bigCover of the book Privacy Technologies and Policy 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