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 Style CitationPientka, 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.
MLA CitationPientka, 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.
Warning: These citations may not always be 100% accurate.