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 A Cultural History of Rio de Janeiro after 1889 by

bigCover of the book Innovative Start-Ups and the Distribution of Human Capital by

bigCover of the book Using Risk Analysis for Flood Protection Assessment by

bigCover of the book Perspectives in Computational Complexity by

bigCover of the book Technology for Smart Futures by

bigCover of the book Advances in Ergonomics in Design by

bigCover of the book Economics of Offshore Wind Power by

bigCover of the book Stochastic Neuron Models by

bigCover of the book A History of Socially Responsible Business, c.1600–1950 by

bigCover of the book Basics of Oncology by

bigCover of the book Cybernetics and Mathematics Applications in Intelligent Systems by

bigCover of the book Understanding Kidney Diseases by

bigCover of the book Assessing Model-Based Reasoning using Evidence- Centered Design by

bigCover of the book Education Policy and Power-Sharing in Post-Conflict Societies by

bigCover of the book Food Packaging Materials 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