Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Davis, et al. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2015.

APA

Davis, D., Fehnker, A., McIver, A., & Voronkov, A. (2015). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

Davis, Ansgar Fehnker, Annabelle McIver, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2015.