Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Fermüller, Christian G, Takeo Kanade, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2010.

APA

Fermüller, C. G, Kanade, T., & Voronkov, A. (2010). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

Fermüller, Christian G., Takeo Kanade, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2010.