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 Sinusoidal Three-Phase Windings of Electric Machines by
bigCover of the book Wireless Mobile Communication and Healthcare by
bigCover of the book Learning with Partially Labeled and Interdependent Data by
bigCover of the book Geoenergy Modeling I by
bigCover of the book Radio Frequency Identification and IoT Security by
bigCover of the book Belowground Defence Strategies in Plants by
bigCover of the book A Concise Introduction to Mechanics of Rigid Bodies by
bigCover of the book Black Scholarly Activism between the Academy and Grassroots by
bigCover of the book Brain Informatics by
bigCover of the book The Politics of Healthcare Reform in Turkey by
bigCover of the book Geriatric Psychiatry Study Guide by
bigCover of the book Fire and Rescue Services by
bigCover of the book Software Project Management for Distributed Computing by
bigCover of the book Exploring Environmental Ethics by
bigCover of the book Private Sector Development in West Africa 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