Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Hutchison, David, et al. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Bjørner, N., & Voronkov, A. (2012). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Nikolaj Bjørner, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2012.