Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
- Author
- Anupam Das (editor), Sara Negri (editor)
- Publisher
- Springer
- Language
- English
- Edition
- 1st ed. 2021
- Year
- 2021
- Page
- 488
- ISBN
- 3030860582,9783030860585
- File Type
- pdf
- File Size
- 9.6 MiB
How to Download?!!!
Just click on START button on Telegram Bot