Cita APA

(2013). Automated deduction - CADE 24: 24th international conference on automated deduction, Lake Placid, NY, USA, june 9-14, 2013. Proceedings.

Citación estilo Chicago

Automated Deduction - CADE 24: 24th International Conference On Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. 2013.

Cita MLA

Automated Deduction - CADE 24: 24th International Conference On Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. 2013.