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 The Pythagorean World by

bigCover of the book Immunotherapy for Pediatric Malignancies by

bigCover of the book Genetic Programming Theory and Practice XIII by

bigCover of the book Trajectory Anomalies in Interplanetary Spacecraft by

bigCover of the book Synthetic and Biophysical Studies on the Tridachiahydropyrone Family of Natural Products by

bigCover of the book Manual of Pediatric Anesthesia by

bigCover of the book Peripheral Nerve Entrapments by

bigCover of the book International Technology Robotics Applications by

bigCover of the book Contemporary Issues in Accounting by

bigCover of the book The Palgrave Handbook of Critical Physical Geography by

bigCover of the book Modeling Decisions for Artificial Intelligence by

bigCover of the book Introducing the Oscillations Based Paradigm by

bigCover of the book The Invisible Universe by

bigCover of the book The Networking of Chaperones by Co-chaperones 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