Cita APA

(2017). Automated deduction - CADE 26: 26th international conference on automated deduction, Gothenburg, Sweden, august 6-11, 2017, Proceedings.

Citación estilo Chicago

Automated Deduction - CADE 26: 26th International Conference On Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. 2017.

Cita MLA

Automated Deduction - CADE 26: 26th International Conference On Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. 2017.