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 Adult Education in Neoliberal Times by

bigCover of the book Engineering Psychology and Cognitive Ergonomics by

bigCover of the book Climate Change Fictions by

bigCover of the book Chest Wall Deformities and Corrective Procedures by

bigCover of the book Formal and Informal Approaches to Food Policy by

bigCover of the book Applied Photochemistry by

bigCover of the book Pediatric Dialysis Case Studies by

bigCover of the book Social Capital, Resilience and Adaptation on Small Islands by

bigCover of the book English Medium Instruction in Higher Education in Asia-Pacific by

bigCover of the book Patient-Derived Mouse Models of Cancer by

bigCover of the book Apolipoprotein Mimetics in the Management of Human Disease by

bigCover of the book Adolescent Girlhood and Literary Culture at the Fin de Siècle by

bigCover of the book Women and ‘Value’ in Jane Austen’s Novels by

bigCover of the book Max Schmeling and the Making of a National Hero in Twentieth-Century Germany by

bigCover of the book Urban Public Spaces 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