APA (7e ed.) Bronvermelding

SpringerLink (Online service), Pientka, B., & Tinelli, C. (2023). Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings (1st ed. 2023.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-38499-8

Chicago (17e ed.) Bronvermelding

SpringerLink (Online service), Brigitte Pientka, en Cesare Tinelli. Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. 1st ed. 2023. Cham: Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-38499-8.

MLA (9e ed.) Bronvermelding

SpringerLink (Online service), et al. Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. 1st ed. 2023. Springer Nature Switzerland : Imprint: Springer, 2023. https://doi.org/10.1007/978-3-031-38499-8.