Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

MLA

Pientka, Brigitte, and Cesare Tinelli. Automated Deduction - Cade 29 : 29th International Conference On Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.

APA

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

Chicago

Pientka, Brigitte., and Cesare Tinelli. Automated Deduction - CADE 29 : 29th International Conference On Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. Cham: Springer International Publishing AG, 2023.