Automated Deduction – CADE-22

MLA

Schmidt, Renate A, Takeo Kanade, and Josef Kittler. Automated Deduction – Cade-22. Springer Berlin Heidelberg, 2009.

APA

Schmidt, R. A, Kanade, T., & Kittler, J. (2009). Automated Deduction – CADE-22. Springer Berlin Heidelberg.

Chicago

Schmidt, Renate A., Takeo Kanade, and Josef Kittler. Automated Deduction – CADE-22. : Springer Berlin Heidelberg, 2009.