APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.