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 Robustness Analysis in Decision Aiding, Optimization, and Analytics by

bigCover of the book Advances in Information Systems Development by

bigCover of the book Principles of Economics for a Post-Meltdown World by

bigCover of the book Christian and Jewish Women in Britain, 1880-1940 by

bigCover of the book Cybercrime, Digital Forensics and Jurisdiction by

bigCover of the book Phytoremediation by

bigCover of the book Sustainable Development Research at Universities in the United Kingdom by

bigCover of the book Multiscale Models in Mechano and Tumor Biology by

bigCover of the book Energy Limits in Computation by

bigCover of the book Habermas and Ricoeur’s Depth Hermeneutics by

bigCover of the book Technological Entrepreneurship by

bigCover of the book Violent Women in Contemporary Theatres by

bigCover of the book Smart Helicopter Rotors by

bigCover of the book Positron Emission Tomography with Computed Tomography (PET/CT) by

bigCover of the book The Future Foreign Correspondent 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