VANCOUVER Edition Citation

1.
Handbook of practical logic and automated reasoning. Cambridge: Cambridge University Press; 2024.

ISO690 Edition Citation

Handbook of practical logic and automated reasoning. Cambridge : Cambridge University Press, 3 mai 2024. ISBN 978-0-521-89957-4

Style de citation APA (7e éd.)

Harrison John. (2009). Handbook of practical logic and automated reasoning. Cambridge University Press.

Style de citation MLA (8e éd.)

Harrison John. Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, 2009.

Attention : ces citations peuvent ne pas être correctes à 100%.