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 Advanced Information Systems Engineering Workshops by

bigCover of the book Analog Integrated Circuit Design Automation by

bigCover of the book Memory, Grief, and Agency by

bigCover of the book Iron-Catalysed Hydrofunctionalisation of Alkenes and Alkynes by

bigCover of the book American Political Parties Under Pressure by

bigCover of the book Bronchopulmonary Dysplasia by

bigCover of the book Organic Solar Cells by

bigCover of the book Strategic Supply Chain Management by

bigCover of the book Historical Earthquake-Resistant Timber Framing in the Mediterranean Area by

bigCover of the book From Network Structure to Policy Design in Water Protection by

bigCover of the book Optimal Stochastic Control Schemes within a Structural Reliability Framework by

bigCover of the book Science and Diplomacy by

bigCover of the book Plant Phenology as a Biomonitor for Climate Change in Germany by

bigCover of the book Ecosystem-Based Disaster Risk Reduction and Adaptation in Practice by

bigCover of the book Managing Business Integrity 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