(2009). Handbook of practical logic and automated reasoning / John Harrison.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումHandbook of Practical Logic and Automated Reasoning / John Harrison. 2009.
MLA (9րդ խմբ.) ՄեջբերումHandbook of Practical Logic and Automated Reasoning / John Harrison. 2009.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.