Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing

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 Cancer and the LGBT Community by

bigCover of the book Neglected Tropical Diseases - Oceania by

bigCover of the book Performing Character in Modern Irish Drama by

bigCover of the book Pattern Analysis, Intelligent Security and the Internet of Things by

bigCover of the book Adaptive Dynamic Programming with Applications in Optimal Control by

bigCover of the book Pathways to Environmental Sustainability by

bigCover of the book Bridging Algebra, Geometry, and Topology by

bigCover of the book Optimized Dark Matter Searches in Deep Observations of Segue 1 with MAGIC by

bigCover of the book Environmental Radiation Effects on Mammals by

bigCover of the book Islam, Securitization, and US Foreign Policy by

bigCover of the book Rule of Law, Human Rights and Judicial Control of Power by

bigCover of the book Perspectives on Pragmatics and Philosophy by

bigCover of the book New Essays on Frege by

bigCover of the book Water Resources in Central Asia: International Context 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