Logic for Programming, Artificial Intelligence, and Reasoning

MLA

McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei, Aart Middeldorp, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2013.

APA

McMillan, A., Middeldorp, A., & Voronkov, A. (2013). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei, Aart Middeldorp, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2013.