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 European Yearbook of International Economic Law 2018 by

bigCover of the book Food Security Among Small-Scale Agricultural Producers in Southern Africa by

bigCover of the book The Vascular Flora of the National Park of Abruzzo, Lazio and Molise (Central Italy) by

bigCover of the book Louis Boutet de Monvel, Selected Works by

bigCover of the book Being Participatory: Researching with Children and Young People by

bigCover of the book Percolation Theory for Flow in Porous Media by

bigCover of the book Leadership and Communication by

bigCover of the book Internationalizing Firms by

bigCover of the book Security and Privacy in Communication Networks by

bigCover of the book Experiential Learning for Professional Helpers by

bigCover of the book Coastal Cliffs: Morphology and Management by

bigCover of the book Applying Fuzzy Logic for the Digital Economy and Society by

bigCover of the book Asymptotics of Elliptic and Parabolic PDEs by

bigCover of the book Art Cinema and Theology 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