International Conference on Automated Deduction Rom, Pientka, B., & Tinelli, C. (2023). Automated deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings. Springer. https://doi.org/10.1007/978-3-031-38499-8
Chicago-Zitierstil (17. Ausg.)International Conference on Automated Deduction Rom, Brigitte Pientka, und Cesare Tinelli. Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : Proceedings. Cham, Switzerland: Springer, 2023. https://doi.org/10.1007/978-3-031-38499-8.
MLA-Zitierstil (9. Ausg.)International Conference on Automated Deduction Rom, et al. Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : Proceedings. Springer, 2023. https://doi.org/10.1007/978-3-031-38499-8.