(2020). Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleLogic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2020.
Παραπομπή MLALogic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.