Moura, L. d. (2020). Automated Deduction – CADE 26. Springer International Publishing.
Trích dẫn kiểu ChicagoMoura, Leonardo de. Automated Deduction � CADE 26. Springer International Publishing, 2020.
Deismireacht MLAMoura, Leonardo de. Automated Deduction � CADE 26. Springer International Publishing, 2020.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.