Logic for Programming, Artificial Intelligence, and Reasoning

MLA

Dershowitz, Nachum, Jörg Siekmann, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2007.

APA

Dershowitz, N., Siekmann, J., & Voronkov, A. (2007). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.

Chicago

Dershowitz, Nachum, Jörg Siekmann, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. : Springer Berlin Heidelberg, 2007.