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 Artificial Life and Evolutionary Computation by

bigCover of the book Sustainable Ho Chi Minh City: Climate Policies for Emerging Mega Cities by

bigCover of the book Patho-Epigenetics of Infectious Disease by

bigCover of the book The Design Imperative by

bigCover of the book State and Economic Development in Africa by

bigCover of the book Advanced Control for Vehicle Active Suspension Systems by

bigCover of the book Evolution of Motions of a Rigid Body About its Center of Mass by

bigCover of the book Group Sequential and Confirmatory Adaptive Designs in Clinical Trials by

bigCover of the book Differential Equations by

bigCover of the book Sensing Technology: Current Status and Future Trends I by

bigCover of the book Foreign Policy Analysis by

bigCover of the book Endocannabinoids and Lipid Mediators in Brain Functions by

bigCover of the book Electrokinetics Across Disciplines and Continents by

bigCover of the book Globalization and Latin American Cinema by

bigCover of the book Epigenetics, Energy Balance, and Cancer 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