Cita APA

(2019). Automated deduction - CADE 22: 22nd international conference on automated deduction, Montreal, Canada, august 2-7, 2009. Proceedings.

Citación estilo Chicago

Automated Deduction - CADE 22: 22nd International Conference On Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. 2019.

Cita MLA

Automated Deduction - CADE 22: 22nd International Conference On Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. 2019.