Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, 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

Big bigCover of Automated Reasoning with Analytic Tableaux and Related Methods

More books from Springer International Publishing

bigCover of the book New Trends in E-service and Smart Computing by

bigCover of the book Evaluation and Management of Autonomic Disorders by

bigCover of the book Niels Bohr, 1913-2013 by

bigCover of the book Artificial Intelligence XXXIV by

bigCover of the book Investor Decision-Making and the Role of the Financial Advisor by

bigCover of the book Prominent Feature Extraction for Sentiment Analysis by

bigCover of the book Selected Areas in Cryptography – SAC 2017 by

bigCover of the book Functional Molecular Silicon Compounds I by

bigCover of the book Peri-Urban Developments and Processes in Africa with Special Reference to Zimbabwe by

bigCover of the book Elise Boulding: Autobiographical Writings and Selections from Unpublished Journals and Letters by

bigCover of the book The Land/Ocean Interactions in the Coastal Zone of West and Central Africa by

bigCover of the book Nuclear Geophysics by

bigCover of the book Helium Ion Microscopy by

bigCover of the book Dynamical Systems in Applications by

bigCover of the book Manual of Cardio-oncology 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