Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, 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

Big bigCover of Automated Deduction – CADE 26

More books from Springer International Publishing

bigCover of the book Emotions and The Body in Buddhist Contemplative Practice and Mindfulness-Based Therapy by

bigCover of the book Financial Markets, SME Financing and Emerging Economies by

bigCover of the book Inclusion, Disability and Culture by

bigCover of the book Teaching Economic Inequality and Capitalism in Contemporary America by

bigCover of the book Food Diversity Between Rights, Duties and Autonomies by

bigCover of the book Practitioner's Guide to Ethics and Mindfulness-Based Interventions by

bigCover of the book Algal Biorefineries by

bigCover of the book Lab-on-Fiber Technology by

bigCover of the book Networks of Networks: The Last Frontier of Complexity by

bigCover of the book Molecular Cytopathology by

bigCover of the book Case-Based Reasoning Research and Development by

bigCover of the book The Search for Wild Relatives of Cool Season Legumes by

bigCover of the book Models and Methods for Interval-Valued Cooperative Games in Economic Management by

bigCover of the book Research Perspectives on Work and the Transition to Motherhood by

bigCover of the book Human-Centred Web Adaptation and Personalization 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