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 The ACP Group and the EU Development Partnership by

bigCover of the book Classroom-Oriented Research by

bigCover of the book The Sugarcane Complex in Brazil by

bigCover of the book Sustained Simulation Performance 2015 by

bigCover of the book Human Development and Human Life by

bigCover of the book Inspired by Finance by

bigCover of the book Hospital-Based Health Technology Assessment by

bigCover of the book Advances in Computer Algebra by

bigCover of the book Phenomenology of the Winter-City by

bigCover of the book Geometry of Manifolds with Non-negative Sectional Curvature by

bigCover of the book Combinatorial Optimization by

bigCover of the book Vulnerable Children and Youth in Brazil by

bigCover of the book Postwar Conservatism, A Transnational Investigation by

bigCover of the book Retrying Leopold and Loeb 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