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 Analytical Family Demography by

bigCover of the book Nonlinearly Perturbed Semi-Markov Processes by

bigCover of the book Social Robots from a Human Perspective by

bigCover of the book Functionalizing Graphene and Carbon Nanotubes by

bigCover of the book India's Climate Change Identity by

bigCover of the book A Novel Heme-Thiolate Peroxygenase AaeAPO and Its Implications for C-H Activation Chemistry by

bigCover of the book Evolutionary Computation in Combinatorial Optimization by

bigCover of the book Rule Based Systems for Big Data by

bigCover of the book Progestogens in Obstetrics and Gynecology by

bigCover of the book Clinico-Pathological Atlas of Cardiovascular Diseases by

bigCover of the book Beyond Classical Physics by

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