Cita APA (7a ed.)

Pientka, B., & Tinelli, C. (2023). Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Springer Nature.

Cita Chicago Style (17a ed.)

Pientka, Brigitte, y Cesare Tinelli. Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer Nature, 2023.

Cita MLA (9a ed.)

Pientka, Brigitte, y Cesare Tinelli. Automated Deduction - CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Springer Nature, 2023.