APA Citation

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

Chicago Style Citation

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

MLA Citation

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

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