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 Tantalum and Niobium-Based Capacitors by

bigCover of the book International Migration and Crisis by

bigCover of the book Primary Science Education in East Asia by

bigCover of the book Supervisor Localization by

bigCover of the book Statistical Physics and Computational Methods for Evolutionary Game Theory by

bigCover of the book Dynamics of Number Systems by

bigCover of the book Trends and Perspectives in Linear Statistical Inference by

bigCover of the book Modeling Dynamic Biological Systems by

bigCover of the book Molecular Breeding of Forage and Turf by

bigCover of the book Migrant Integration in Times of Economic Crisis by

bigCover of the book Entrepreneurship in Family Business by

bigCover of the book The Impact of Corruption on International Commercial Contracts by

bigCover of the book Statistics for Mathematicians by

bigCover of the book Infective Endocarditis by

bigCover of the book Rural Areas Between Regional Needs and Global Challenges 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