Automated Deduction – CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings Pientka, Brigitte Heftet / 2023 / Engelsk
