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 Nonlocal Diffusion and Applications by
bigCover of the book Petroleum Geosciences: Indian Contexts by
bigCover of the book Cultivating Mindfulness in Clinical Social Work by
bigCover of the book The Roles of Remote Sensing in Nature Conservation by
bigCover of the book The Unfinished System of Karl Marx by
bigCover of the book Atlas of Head and Neck Endocrine Disorders by
bigCover of the book Imaging of Soft Tissue Tumors by
bigCover of the book Spatial Auditory Human-Computer Interfaces by
bigCover of the book Muslims, Schooling and Security by
bigCover of the book Cyclodextrin Fundamentals, Reactivity and Analysis by
bigCover of the book Food Bioactives by
bigCover of the book Algorithms and Architectures for Parallel Processing by
bigCover of the book Methodological Reflections on Researching Communication and Social Change by
bigCover of the book Vegetation Structure and Function at Multiple Spatial, Temporal and Conceptual Scales by
bigCover of the book Wireless Sensor Networks 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