MLA

Janhunen, Tomi, Takeo Kanade, and Ilkka Niemelä. Logics In Artificial Intelligence. Springer Berlin Heidelberg, 2010.

APA

Janhunen, T., Kanade, T., & Niemelä, I. (2010). Logics in Artificial Intelligence. Springer Berlin Heidelberg.

Chicago

Janhunen, Tomi, Takeo Kanade, and Ilkka Niemelä. Logics In Artificial Intelligence. : Springer Berlin Heidelberg, 2010.