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 Dynamic Neuroscience by

bigCover of the book Nanotechnologies for Environmental Remediation by

bigCover of the book Sustainable Development Research and Practice in Mexico and Selected Latin American Countries by

bigCover of the book The PKK-Kurdistan Workers’ Party’s Regional Politics by

bigCover of the book Smart Cards, Tokens, Security and Applications by

bigCover of the book Applying a Human Rights Approach to Social Work Research and Evaluation by

bigCover of the book Advanced Information Networking and Applications by

bigCover of the book Advances in Service-Oriented and Cloud Computing by

bigCover of the book Information Management and Big Data by

bigCover of the book Temporary Work Agencies in Italy by

bigCover of the book Model Validation and Uncertainty Quantification, Volume 3 by

bigCover of the book Tunable Microwave Metamaterial Structures by

bigCover of the book Impact Assessment in Tourism Economics by

bigCover of the book Antioxidants in Andrology 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