Automated Deduction – CADE-24

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Takeo Kanade, and Josef Kittler. Automated Deduction – Cade-24. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Kanade, T., & Kittler, J. (2013). Automated Deduction – CADE-24. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Takeo Kanade, and Josef Kittler. Automated Deduction – CADE-24. : Springer Berlin Heidelberg, 2013.