Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.
استشهاد بنمط شيكاغوNieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
MLA استشهادNieuwenhuis, Robert. Automated Deduction � CADE-20. Springer Berlin Heidelberg, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.