MLA

Hutchison, David, et al. Logics In Artificial Intelligence. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Fariñas del Cerro, L., Herzig, A., & Mengin, J. (2012). Logics in Artificial Intelligence. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Luis Fariñas del Cerro, Andreas Herzig, and Jérôme Mengin. Logics In Artificial Intelligence. : Springer Berlin Heidelberg, 2012.