1.
Handbook of practical logic and automated reasoning. Cambridge: Cambridge University Press; 2024.
Handbook of practical logic and automated reasoning. Cambridge : Cambridge University Press, 3 mai 2024. ISBN 978-0-521-89957-4
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%.