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 Modern Piezoelectric Energy-Harvesting Materials by

bigCover of the book 3D Cinematic Aesthetics and Storytelling by

bigCover of the book Singular Limits in Thermodynamics of Viscous Fluids by

bigCover of the book Ignition and Wave Processes in Combustion of Solids by

bigCover of the book Electronic Components and Systems for Automotive Applications by

bigCover of the book Arts and Technology by

bigCover of the book Tools for High Performance Computing 2016 by

bigCover of the book Fuzzy Logic and Applications by

bigCover of the book Does Generation Matter? Progressive Democratic Cultures in Western Europe, 1945–1960 by

bigCover of the book Thermal Energy Storage Using Phase Change Materials by

bigCover of the book Contracts of Adhesion Between Law and Economics by

bigCover of the book The Principles of Alternative Investments Management by

bigCover of the book Therapeutic Farms by

bigCover of the book Sex and Gender Factors Affecting Metabolic Homeostasis, Diabetes and Obesity 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