Cita APA

Harrison, J. 1. (2009). Handbook of practical logic and automated reasoning. Cambridge University Press.

Citación estilo Chicago

Harrison, J. 1966-. Handbook of Practical Logic and Automated Reasoning. Cambridge ; New York: Cambridge University Press, 2009.

Cita MLA

Harrison, J. 1966-. Handbook of Practical Logic and Automated Reasoning. Cambridge ; New York: Cambridge University Press, 2009.