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 Taiwan's Political Re-Alignment and Diplomatic Challenges by

bigCover of the book The Hunt for FOXP5 by

bigCover of the book Computer Vision – ECCV 2018 Workshops by

bigCover of the book The Politics of Victimhood in Post-conflict Societies by

bigCover of the book Advanced Functional Evolution Equations and Inclusions by

bigCover of the book Dependability in Medicine and Neurology by

bigCover of the book Tensorial Methods and Renormalization in Group Field Theories by

bigCover of the book A Comet of the Enlightenment by

bigCover of the book The Boka Kotorska Bay Environment by

bigCover of the book Craniofacial Trauma by

bigCover of the book The Product Manager's Toolkit® by

bigCover of the book Psychosocial Risks in Labour and Social Security Law by

bigCover of the book Enterprise, Business-Process and Information Systems Modeling by

bigCover of the book Sleep Disorders in Adolescents by

bigCover of the book Stereoselective Heterocycle Synthesis via Alkene Difunctionalization 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