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 Flora and Vegetation of the Czech Republic by

bigCover of the book Thermal Plasma Processing of Ilmenite by

bigCover of the book Internationalism, Imperialism and the Formation of the Contemporary World by

bigCover of the book Xenophobia in South Africa by

bigCover of the book Natural Heritage of Japan by

bigCover of the book Theoretical Aspects of Computing – ICTAC 2018 by

bigCover of the book Atlas of Functional Anatomy for Regional Anesthesia and Pain Medicine by

bigCover of the book Moodiness in ADHD by

bigCover of the book Information Technologies and Mathematical Modelling: Queueing Theory and Applications by

bigCover of the book Chikungunya Virus by

bigCover of the book Great Moments in the History of Life by

bigCover of the book Guantanamo and Other Cases of Enforced Medical Treatment by

bigCover of the book Protocols for Cardiac MR and CT by

bigCover of the book Advances in Data Analysis with Computational Intelligence Methods by

bigCover of the book Text, Speech, and Dialogue 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