Cervesato, I. (2017). Logic for Programming, Artificial Intelligence, and Reasoning. Springer.
Chicago Style CitationCervesato, Iliano. Logic for Programming, Artificial Intelligence, and Reasoning. Springer, 2017.
MLA CitationCervesato, Iliano. Logic for Programming, Artificial Intelligence, and Reasoning. Springer, 2017.
Warning: These citations may not always be 100% accurate.