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 Transplant Infections by

bigCover of the book Nano-Oncologicals by

bigCover of the book Security Policy in System-on-Chip Designs by

bigCover of the book Multivariable Dynamic Calculus on Time Scales by

bigCover of the book First-stage LISA Data Processing and Gravitational Wave Data Analysis by

bigCover of the book Advances in Complex Data Modeling and Computational Methods in Statistics by

bigCover of the book Facilitating the Genetic Counseling Process by

bigCover of the book Moral Contract Theory and Social Cognition by

bigCover of the book Recurrence Quantification Analysis by

bigCover of the book Information Retrieval Technology by

bigCover of the book Global Business in Local Culture by

bigCover of the book Modelling Human Behaviour in Landscapes by

bigCover of the book Rape Culture, Gender Violence, and Religion by

bigCover of the book Advanced Design Cultures 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