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 Looking Back on President Barack Obama’s Legacy by

bigCover of the book Learning and Intelligent Optimization by

bigCover of the book Co-Designing Economies in Transition by

bigCover of the book Nonlinear Systems and Circuits in Internal Combustion Engines by

bigCover of the book Introduction to Distributed Computer Systems by

bigCover of the book Critical Capacity Development by

bigCover of the book Recurrent Pregnancy Loss by

bigCover of the book Robust Representation for Data Analytics by

bigCover of the book Radiation Safety by

bigCover of the book Algae Biotechnology by

bigCover of the book CMOS 60-GHz and E-band Power Amplifiers and Transmitters by

bigCover of the book The Pulvinar Thalamic Nucleus of Non-Human Primates: Architectonic and Functional Subdivisions by

bigCover of the book Variational Inequalities and Frictional Contact Problems by

bigCover of the book Policy Innovations for Affordable Housing In Singapore by

bigCover of the book Diseases in the Elderly 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