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
Big bigCover of Automated Deduction – CADE 26

More books from Springer International Publishing

bigCover of the book Gender and Dermatology by
bigCover of the book Parametric Packet-based Audiovisual Quality Model for IPTV services by
bigCover of the book At the Crossroads: Challenges of Foreign Language Learning by
bigCover of the book Unconventional Computation and Natural Computation by
bigCover of the book Knowledge-Driven Board-Level Functional Fault Diagnosis by
bigCover of the book Energy Security in Europe by
bigCover of the book Advances in Neural Computation, Machine Learning, and Cognitive Research III by
bigCover of the book Network Security Metrics by
bigCover of the book Reappraising European IR Theoretical Traditions by
bigCover of the book Biogeochemical Technologies for Managing Pollution in Polar Ecosystems by
bigCover of the book Value Reasoning by
bigCover of the book Islamic Economies by
bigCover of the book Pollutant Discharge and Water Quality in Urbanisation by
bigCover of the book Women in Academic Psychiatry by
bigCover of the book Lived Religion and the Politics of (In)Tolerance 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