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 Minimum Action Curves in Degenerate Finsler Metrics by

bigCover of the book Citizens and the Crisis by

bigCover of the book Vehicle Dynamics by

bigCover of the book Cognitive MAC Designs for OSA Networks by

bigCover of the book Reflected Brownian Motions in the KPZ Universality Class by

bigCover of the book Ronald J. Fisher: A North American Pioneer in Interactive Conflict Resolution by

bigCover of the book Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2017 by

bigCover of the book Novel Functional Magnetic Materials by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Sentiment Analysis in the Bio-Medical Domain by

bigCover of the book Advances in Multimedia Information Processing – PCM 2018 by

bigCover of the book Economic and Social Development of Bangladesh by

bigCover of the book Post-Silicon Validation and Debug by

$bigCover of the book Diffractive Optics and Nanophotonics by$

bigCover of the book Engineering Multi-Agent Systems 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