Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Application Software, Computer Graphics, 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-25

More books from Springer International Publishing

bigCover of the book Studies on Experimental Toxicology and Pharmacology by

bigCover of the book Democratic Legitimacy in the European Union and Global Governance by

bigCover of the book Rethinking School-to-Work Transitions in Australia by

bigCover of the book Why Peacekeeping Fails by

bigCover of the book Neural Information Processing by

bigCover of the book Syngas Production: Status and Potential for Implementation in Russian Industry by

bigCover of the book Current Trends in Analysis and Its Applications by

bigCover of the book Quantum Physics, Fuzzy Sets and Logic by

bigCover of the book Light-Sensitive Polymeric Nanoparticles Based on Photo-Cleavable Chromophores by

bigCover of the book Algorithms and Architectures for Parallel Processing by

bigCover of the book Human-Computer Interaction. Interaction Platforms and Techniques by

bigCover of the book Ethical Assessments of Emerging Technologies by

bigCover of the book A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years by

bigCover of the book Environmental Management and Governance by

bigCover of the book Pohl's Introduction to Physics 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