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 Organic Solar Cells by

bigCover of the book Empathy, Sociality, and Personhood by

bigCover of the book Up-to-Date Waste-to-Energy Approach by

bigCover of the book Nonlinear Waves and Pattern Dynamics by

bigCover of the book Why Prove it Again? by

bigCover of the book On the Device-Independent Approach to Quantum Physics by

bigCover of the book Reinforced Concrete Design to Eurocode 2 by

bigCover of the book Computers Helping People with Special Needs by

bigCover of the book Fuzzy Logic in Its 50th Year by

bigCover of the book Branching Process Models of Cancer by

bigCover of the book Graph Drawing and Network Visualization by

bigCover of the book Bacteriophage Applications - Historical Perspective and Future Potential by

bigCover of the book Methods and Biostatistics in Oncology by

bigCover of the book The Hypothalamic-Pituitary-Adrenal Axis in Health and Disease by

bigCover of the book The South China Sea and Asian Regionalism 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