Automated Reasoning with Analytic Tableaux and Related MethodsAuthor :
Paperback
Published : Thursday 31 August 2017
Description
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.
You may also like ...
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9781529434156.jpg)
by
Paperback
04 Jan 2024
Poetry anthologies (various poets)
€12.86
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9781839524981.jpg)
by
Paperback
31 Aug 2022
Memoirs
€21.05
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9781101935118.jpg)
by
Paperback
28 Jun 2016
Educational: First / native language: Readers and reading schemes
€5.84
Extended stock – Dispatch 5-7 days
Reviews