APA-Zitierstil (7. Ausg.)

(2015). Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (1st ed. 2015.). Springer International Publishing. https://doi.org/10.1007/978-3-319-21401-6

Chicago-Zitierstil (17. Ausg.)

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. 1st ed. 2015. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-21401-6.

MLA-Zitierstil (9. Ausg.)

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. 1st ed. 2015. Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-21401-6.