Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.
Style de citation ChicagoNieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
Style de citation MLANieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.