Cita APA

International conference on automated deduction. Proceedings Gotemburgo, S., & de Moura, L. (2017). Automated deduction - CADE 26 (1 edición.). Cham, Suiza: Springer.

Citación estilo Chicago

International conference on automated deduction. Proceedings Gotemburgo, Suecia), y Leonardo de Moura. Automated Deduction - CADE 26. 1 edición. Cham, Suiza: Springer, 2017.

Cita MLA

International conference on automated deduction. Proceedings Gotemburgo, Suecia), y Leonardo de Moura. Automated Deduction - CADE 26. 1 edición. Cham, Suiza: Springer, 2017.