Harrison, J. (2009). Handbook of practical logic and automated reasoning. Cambridge University Press.
Chicago Style (17th ed.) CitationHarrison, J. Handbook of Practical Logic and Automated Reasoning. Cambridge: Cambridge University Press, 2009.
MLA (9th ed.) CitationHarrison, J. Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, 2009.
Warning: These citations may not always be 100% accurate.