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 Complex Networks VIII by

bigCover of the book Key Insights into Basic Mechanisms of Mental Activity by

bigCover of the book International Perspectives on Translation, Education and Innovation in Japanese and Korean Societies by

bigCover of the book The Protection of Foreign Investments in Mongolia by

bigCover of the book Citizenship and Immigration - Borders, Migration and Political Membership in a Global Age by

bigCover of the book Transdisciplinary Professional Learning and Practice by

bigCover of the book Joining Technologies for Composites and Dissimilar Materials, Volume 10 by

bigCover of the book From Mafia to Organised Crime by

bigCover of the book The Visual Language of Technique by

bigCover of the book The Linguistics of Spoken Communication in Early Modern English Writing by

bigCover of the book Shape in Medical Imaging by

bigCover of the book Extreme Hepatic Surgery and Other Strategies by

bigCover of the book Reading Children in Early Modern Culture 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