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 Stochastic Equations for Complex Systems by

bigCover of the book Advocacy Coalitions and Democratizing Media Reforms in Latin America by

bigCover of the book Emerging Trends in Communication Networks by

bigCover of the book A Route to Chaos Using FPGAs by

bigCover of the book An Introduction to Distance Geometry applied to Molecular Geometry by

bigCover of the book The Ethics of Research with Human Subjects by

bigCover of the book Artificial Intelligence in Label-free Microscopy by

bigCover of the book Atlas of Imaging in Infertility by

bigCover of the book Understanding Auctions by

bigCover of the book Design and Development of Metal-Forming Processes and Products Aided by Finite Element Simulation by

bigCover of the book Brain Informatics by

bigCover of the book New Organizational Forms, Controls, and Institutions by

bigCover of the book Geographical Information Systems Theory, Applications and Management by

bigCover of the book Solutions for Business, Culture and Religion in Eastern Europe and Beyond 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