Moura, L. d. (2020). Automated Deduction – CADE 26. Springer International Publishing.
Chicago Style citaatMoura, Leonardo de. Automated Deduction � CADE 26. Springer International Publishing, 2020.
MLA citatieMoura, Leonardo de. Automated Deduction � CADE 26. Springer International Publishing, 2020.
Let op: Deze citaties zijn niet altijd 100% accuraat.