Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
- Author
- Pascal Fontaine
- Publisher
- Springer International Publishing
- Language
- English
- Edition
- 1st ed. 2019
- Year
- 2019
- Page
- XXIII, 582
- ISBN
- 978-3-030-29435-9,978-3-030-29436-6
- File Type
- pdf
- File Size
- 18.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot