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 Land Use Competition by

bigCover of the book Image Analysis and Recognition by

bigCover of the book Politics of Benjamin’s Kafka: Philosophy as Renegade by

bigCover of the book Opening Markets for Foreign Skills: How Can the WTO Help? by

bigCover of the book The Development of an Integrated Planning and Decision Support System (IPDSS) for Land Consolidation by

bigCover of the book Skin Stress Response Pathways by

bigCover of the book A Global Overview of the Conservation of Freshwater Decapod Crustaceans by

bigCover of the book One Hundred Years of Zoning and the Future of Cities by

bigCover of the book Human-Computer Interaction. Interaction Platforms and Techniques by

bigCover of the book Domain Decomposition Methods in Science and Engineering XXII by

bigCover of the book Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications by

bigCover of the book Internet Science by

bigCover of the book Enterprise Engineering by

bigCover of the book Human–Robot Intimate Relationships by

bigCover of the book Information Management and Big Data 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