Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, 12699)
- Author
- André Platzer (editor), Geoff Sutcliffe (editor)
- Publisher
- Springer
- Language
- English
- Edition
- 1st ed. 2021
- Year
- 2021
- Page
- 664
- ISBN
- 3030798755,9783030798758
- File Type
- pdf
- File Size
- 28.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot