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 Data Mining and Constraint Programming by

bigCover of the book Collaborative Information Seeking by

bigCover of the book Dynamics of Mechanical Systems with Non-Ideal Excitation by

bigCover of the book Quality Cancer Care by

bigCover of the book Empirically Informed Ethics: Morality between Facts and Norms by

bigCover of the book The Agricultural Economics of the 21st Century by

bigCover of the book Computational Science – ICCS 2018 by

bigCover of the book Sustainable Design and Manufacturing 2016 by

bigCover of the book Formal Modeling and Analysis of Timed Systems by

bigCover of the book Currencies of the Indian Ocean World by

bigCover of the book Fundamentals of Boundary-Layer Meteorology by

bigCover of the book Cutaneous Haptic Feedback in Robotic Teleoperation by

bigCover of the book The Economics of Addictive Behaviours Volume II by

bigCover of the book The Uncertainty Analysis of Model Results by

bigCover of the book Passing the Certified Bariatric Nurses Exam 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