McMillan. (2013). Logic for Programming, Artificial Intelligence, and Reasoning (1.). Springer Berlin Heidelberg.
Cita Chicago (17th ed.)McMillan. Logic for Programming, Artificial Intelligence, and Reasoning. 1. Springer Berlin Heidelberg, 2013.
Cita MLA (8th ed.)McMillan. Logic for Programming, Artificial Intelligence, and Reasoning. 1. Springer Berlin Heidelberg, 2013.
Atenció: Aquestes cites poden no estar 100% correctes.