Automated Deduction : CADE 30
Subtitle: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Publisher: Springer
Published: 2025
Language: eng
Number of pages: 756
ISBN-13: 9783031999833