Automated Deduction – CADE 30 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings Barrett, Clark Heftet / 2025 / Engelsk
