Automated Reasoning and Mathematics

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Mark E Stickel. Automated Reasoning and Mathematics. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Kittler, J., & Stickel, M. E. (2013). Automated Reasoning and Mathematics. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Mark E Stickel. Automated Reasoning and Mathematics. : Springer Berlin Heidelberg, 2013.