PIENTKA, Brigitte und TINELLI, Cesare (Hrsg.). [cd]. 2023. 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031384998.
Elsevier - Harvard (with titles)Pientka, B., Tinelli, C. (Hrsg.), 2023. Automated Deduction – CADE 29 : 29 th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings. Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-031-38499-8
American Psychological Association 7th editionPientka, B., … Tinelli, C. (Hrsg.). (ca. 2023). Automated Deduction – CADE 29 : 29 th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings [Cd]. In Lecture Notes in Artificial Intelligence (1 st ed. 2023). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-38499-8
Springer - Basic (author-date)Pientka B, Tinelli C (Hrsg.) (2023) Automated Deduction – CADE 29 : 29 th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings. Lecture Notes in Artificial Intelligence
Juristische Zitierweise (Stüber) (Deutsch)Pientka, Brigitte/ Tinelli, Cesare (Hrsg.), Automated Deduction – CADE 29 : 29 th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings, Lecture Notes in Artificial Intelligence 2023, .