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 Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud by

bigCover of the book Bacilli and Agrobiotechnology by

bigCover of the book Innovations in Smart Cities and Applications by

bigCover of the book Mathematics Teacher Preparation in Central America and the Caribbean by

bigCover of the book Artificial Intelligence and Soft Computing by

bigCover of the book Unveiling Dynamics and Complexity by

bigCover of the book Cyber-physical Systems and Digital Twins by

bigCover of the book Mineral Deposits of North Africa by

bigCover of the book Non-Pharmacological Management of Osteoporosis by

bigCover of the book Nonlinear Dynamics of Structures by

bigCover of the book An Introduction to Silent Speech Interfaces by

bigCover of the book Traveling Irishness in the Long Nineteenth Century by

bigCover of the book Pediatric Board Study Guide by

bigCover of the book Customer Value, Shareholder Wealth, Community Wellbeing by

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