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 Microsensing Networks for Sustainable Cities by

bigCover of the book Foundations of Security Analysis and Design VIII by

bigCover of the book Arctic Marine Resource Governance and Development by

bigCover of the book Dynamics of Underactuated Multibody Systems by

bigCover of the book Right-to-Work Laws and the Crumbling of American Public Health by

bigCover of the book Full-3D Seismic Waveform Inversion by

bigCover of the book Green Technologies and Environmental Sustainability by

bigCover of the book The Meaning of Leisure by

bigCover of the book Progress in Photon Science by

bigCover of the book Encounters with Popular Pasts by

bigCover of the book Mathematics and Computation in Music by

bigCover of the book Novel Aspects of Diamond by

bigCover of the book Seasonal Adjustment Methods and Real Time Trend-Cycle Estimation by

bigCover of the book SMART Supply Network by

bigCover of the book Smart and Sustainable Planning for Cities and Regions 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