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 Machine Learning and Knowledge Discovery in Databases by

bigCover of the book The Politics of Securitization in Democratic Indonesia by

bigCover of the book The Pathophysiologic Basis of Nuclear Medicine by

bigCover of the book Advances in Marine Vertebrate Research in Latin America by

bigCover of the book Parliamentary Thinking by

bigCover of the book Extracellular Matrix in Tumor Biology by

bigCover of the book Fruit Fly Research and Development in Africa - Towards a Sustainable Management Strategy to Improve Horticulture by

bigCover of the book Economics of Unconventional Shale Gas Development by

bigCover of the book Cold-Spray Coatings by

bigCover of the book Public Art and Urban Memorials in Berlin by

bigCover of the book Handbook of Food Processing Equipment by

bigCover of the book Public Choice Analyses of American Economic History by

bigCover of the book Positional Plagiocephaly by

bigCover of the book Analysis, Modelling, Optimization, and Numerical Techniques by

bigCover of the book A Student's Guide Through the Great Physics Texts 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