Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Kanade, Takeo, et al. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., Sutcliffe, G., Voronkov, A., & Kittler, J. (2005). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, Geoff Sutcliffe, AndreÄ­ Voronkov, and Josef Kittler. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin / Heidelberg, 2005.