Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Hermann, Miki, et al. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2006.

APA

Hermann, M., Kanade, T., Voronkov, A., & Kittler, J. (2006). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

Hermann, Miki, Takeo Kanade, Andrei Voronkov, and Josef Kittler. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2006.