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 A Fixed-Point Farrago by

bigCover of the book Noncolorectal, Nonneuroendocrine Liver Metastases by

bigCover of the book Controlling the Morphology of Polymers by

bigCover of the book Remote Sensing and Modeling by

bigCover of the book Graph-Based Representation and Reasoning by

bigCover of the book The Cyclic Peptide Toxins of Amanita and Other Poisonous Mushrooms by

bigCover of the book Fish Hearing and Bioacoustics by

bigCover of the book Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA by

bigCover of the book The Making and Meaning of Relationships in Sri Lanka by

bigCover of the book Innovations for Community Services by

bigCover of the book The Value of Popular Music by

bigCover of the book Elizabeth I in Writing by

bigCover of the book Terrorism and Nationalism in the United Kingdom by

bigCover of the book The Sustainable Role of the Tree in Environmental Protection Technologies 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