APA-Zitierstil (7. Ausg.)

Fontaine, P. (2019). Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Springer. https://doi.org/10.1007/978-3-030-29436-6

Chicago-Zitierstil (17. Ausg.)

Fontaine, Pascal. Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Cham: Springer, 2019. https://doi.org/10.1007/978-3-030-29436-6.

MLA-Zitierstil (9. Ausg.)

Fontaine, Pascal. Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Springer, 2019. https://doi.org/10.1007/978-3-030-29436-6.