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 Dynamic and Stochastic Multi-Project Planning by

bigCover of the book The Semantic Web – ISWC 2018 by

bigCover of the book Impeding Bullying Among Young Children in International Group Contexts by

bigCover of the book Private Politics and Peasant Mobilization by

bigCover of the book Emerging Challenges for Experimental Mechanics in Energy and Environmental Applications, Proceedings of the 5th International Symposium on Experimental Mechanics and 9th Symposium on Optics in Industry (ISEM-SOI), 2015 by

bigCover of the book Recent Advances on Green Concrete for Structural Purposes by

bigCover of the book Sustainability of Integrated Water Resources Management by

bigCover of the book Neighbourhood Watch in a Digital Age by

bigCover of the book Reforming the Art of Living by

bigCover of the book Short Course Breast Radiotherapy by

bigCover of the book Food Waste Reduction and Valorisation by

bigCover of the book Ticks of Europe and North Africa by

bigCover of the book Innovation and Entrepreneurship by

bigCover of the book Being an Adult Learner in Austere Times by

bigCover of the book Mechanisms of Circadian Systems in Animals and Their Clinical Relevance 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