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 Exploring the Strategy Space of Negotiating Agents by

bigCover of the book Perspectives on Atmospheric Sciences by

bigCover of the book Descriptor Revision by

bigCover of the book Handbook of Vocational Rehabilitation and Disability Evaluation by

bigCover of the book Systems, Software and Services Process Improvement by

bigCover of the book Financial Cryptography and Data Security by

bigCover of the book Harmonic Analysis, Partial Differential Equations, Banach Spaces, and Operator Theory (Volume 2) by

bigCover of the book Intelligent Natural Language Processing: Trends and Applications by

bigCover of the book Trustworthy Open Self-Organising Systems by

bigCover of the book Regulation of Implantation and Establishment of Pregnancy in Mammals by

bigCover of the book Between Trauma and the Sacred by

bigCover of the book Radar Polarimetry for Weather Observations by

bigCover of the book The Normal and Pathological Fetal Brain by

bigCover of the book Equality and Differentiation in Marketised Higher Education 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