Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Applied Logic for Computer Scientists

More books from Springer International Publishing

bigCover of the book Stochastic Dynamics and Energetics of Biomolecular Systems by

bigCover of the book Trust Management IX by

bigCover of the book Higgs, Supersymmetry and Dark Matter After Run I of the LHC by

bigCover of the book Principle-Based Stepped Care and Brief Psychotherapy for Integrated Care Settings by

bigCover of the book The Patent Medicines Industry in Georgian England by

bigCover of the book MIMO Radar Waveform Design for Spectrum Sharing with Cellular Systems by

bigCover of the book Recent Developments and New Directions in Soft Computing by

bigCover of the book Family Beyond Household and Kin by

bigCover of the book Advances in Human Aspects of Transportation by

bigCover of the book Computer Vision – ECCV 2018 Workshops by

bigCover of the book Combined Cycle Driven Efficiency for Next Generation Nuclear Power Plants by

bigCover of the book Solar-to-Fuel Conversion in Algae and Cyanobacteria by

bigCover of the book The Mixed Member Proportional System: Providing Greater Representation for Women? by

bigCover of the book Elective Language Study and Policy in Israel by

bigCover of the book Problematic Wildlife 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