Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

More books from Springer International Publishing

bigCover of the book International E-Government Development by

bigCover of the book Classical and Modern Controls with Microcontrollers by

bigCover of the book Recent Advances in Nonlinear Dynamics and Synchronization by

bigCover of the book Research Methods in Indigenous Contexts by

bigCover of the book Software Engineering Education Going Agile by

bigCover of the book Disaster Risk Reduction in Indonesia by

bigCover of the book Economics of Institutional Change by

bigCover of the book Nonlinear Model Predictive Control by

bigCover of the book Progress in Cryptology - AFRICACRYPT 2017 by

bigCover of the book Tropical Cyclone Activity over the North Indian Ocean by

bigCover of the book Coordination Models and Languages by

bigCover of the book Optical Characterization of Thin Solid Films by

bigCover of the book Conversations Around Semiotic Engineering 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