APA Style

TINELLI, C., PIENTKA, B. (2023). Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (1). Zurich, Switzerland: Springer International Publishing.

MLA Style

TINELLI, Cesare., PIENTKA, Brigitte. "Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings". 1 Zurich, Switzerland: Springer International Publishing, 2023. Text.