Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

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

More books from Springer International Publishing

bigCover of the book World Englishes in English Language Teaching by

bigCover of the book Complex Systems: Solutions and Challenges in Economics, Management and Engineering by

bigCover of the book 3D Stacked Chips by

bigCover of the book Life-cycle Cost Approach for Management of Environmental Resources by

bigCover of the book Integrated Diabetes Care by

bigCover of the book Handbook of Early Childhood Special Education by

bigCover of the book Wage Inequality in Africa by

bigCover of the book Characterization of Minerals, Metals, and Materials 2019 by

bigCover of the book Challenges in Mechanics of Time Dependent Materials, Volume 2 by

bigCover of the book Multidisciplinary Design of Sharing Services by

bigCover of the book The Office of Strategic Services and Italian Americans by

bigCover of the book Sociology in South Africa by

bigCover of the book Multifunctional Land-Use Systems for Managing the Nexus of Environmental Resources by

bigCover of the book Proceedings of the Second International Conference on Mechatronics and Automatic Control by

bigCover of the book High-Level Models of Unconventional Computations 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