Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Advanced Computing, Artificial Intelligence, General Computing

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 Models of Calcium Signalling by

bigCover of the book Towards a Sustainable Economy by

bigCover of the book Investigating White-Collar Crime by

bigCover of the book Making Education: Material School Design and Educational Governance by

bigCover of the book 100 years of European Philosophy Since the Great War by

bigCover of the book Alternative Propulsion for Automobiles by

bigCover of the book Nanopositioning Technologies by

bigCover of the book Unconsciousness Between Phenomenology and Psychoanalysis by

bigCover of the book Privacy Technologies and Policy by

bigCover of the book Post-Sustainability and Environmental Education by

bigCover of the book Dynamic Paleontology by

bigCover of the book Strategic Management Accounting, Volume II by

bigCover of the book Fracture, Fatigue, Failure and Damage Evolution, Volume 7 by

bigCover of the book Medicinal Orchids of Asia by

bigCover of the book ARM Assembly Language with Hardware Experiments 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