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引文Cervesato, Iliano. Logic for Programming, Artificial Intelligence, and Reasoning. Springer, 2017.
警告:這些引文格式不一定是100%准確.