Deismireacht APA

Nieuwenhuis, R. (2020). Automated Deduction – CADE-20. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Nieuwenhuis, Robert. Automated Deduction €� CADE-20. Springer Berlin Heidelberg, 2020.

Deismireacht MLA

Nieuwenhuis, Robert. Automated Deduction €� CADE-20. Springer Berlin Heidelberg, 2020.

Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.